Theorem: bitvec_AndOrXor_2263 (Eval/bitvec_AndOrXor_2263.lean)

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

State before:
B✝ op0✝ : BitVec 64
⊢ op0✝ ||| op0✝ ^^^ B✝ = op0✝ ||| B✝
Tactic:
bv_decide
State after:
no goals