Theorem: bitvec_AndOrXor_2429 (Eval/bitvec_AndOrXor_2429.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