Theorem: bitvec_AndOrXor_2417 (Eval/bitvec_AndOrXor_2417.lean)

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

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