Theorem: bitvec_AndOrXor_2231__A__B__B__C__A___A__B__C (Eval/bitvec_AndOrXor_2231__A__B__B__C__A___A__B__C.lean)

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

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