Theorem: bitvec_AndOrXor_2658 (Eval/bitvec_AndOrXor_2658.lean)

State before:
⊢ ∀ (a b : BitVec 64), a &&& (b ^^^ -1) ^^^ (a ^^^ -1) = a &&& b ^^^ -1
Tactic:
intros
State after:
a✝ b✝ : BitVec 64
⊢ a✝ &&& (b✝ ^^^ -1) ^^^ (a✝ ^^^ -1) = a✝ &&& b✝ ^^^ -1

State before:
a✝ b✝ : BitVec 64
⊢ a✝ &&& (b✝ ^^^ -1) ^^^ (a✝ ^^^ -1) = a✝ &&& b✝ ^^^ -1
Tactic:
bv_decide
State after:
no goals