Theorem: bitvec_AndOrXor_2430 (Eval/bitvec_AndOrXor_2430.lean)

State before:
⊢ ∀ (y x : BitVec 64), (x ||| y) ^^^ -1 = (x ^^^ -1) &&& (y ^^^ -1)
Tactic:
intros
State after:
y✝ x✝ : BitVec 64
⊢ (x✝ ||| y✝) ^^^ -1 = (x✝ ^^^ -1) &&& (y✝ ^^^ -1)

State before:
y✝ x✝ : BitVec 64
⊢ (x✝ ||| y✝) ^^^ -1 = (x✝ ^^^ -1) &&& (y✝ ^^^ -1)
Tactic:
bv_decide
State after:
no goals