Theorem: bitvec_AndOrXor_2284 (Eval/bitvec_AndOrXor_2284.lean)

State before:
⊢ ∀ (A B : BitVec 64), A ||| (A ||| B) ^^^ -1 = A ||| B ^^^ -1
Tactic:
intros
State after:
A✝ B✝ : BitVec 64
⊢ A✝ ||| (A✝ ||| B✝) ^^^ -1 = A✝ ||| B✝ ^^^ -1

State before:
A✝ B✝ : BitVec 64
⊢ A✝ ||| (A✝ ||| B✝) ^^^ -1 = A✝ ||| B✝ ^^^ -1
Tactic:
bv_decide
State after:
no goals