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