Theorem: bitvec_AndOrXor_1733 (Eval/bitvec_AndOrXor_1733.lean)

State before:
⊢ ∀ (A B : BitVec 64), (A != 0) = true ∨ (B != 0) = (A ||| B != 0)
Tactic:
intros
State after:
A✝ B✝ : BitVec 64
⊢ (A✝ != 0) = true ∨ (B✝ != 0) = (A✝ ||| B✝ != 0)

State before:
A✝ B✝ : BitVec 64
⊢ (A✝ != 0) = true ∨ (B✝ != 0) = (A✝ ||| B✝ != 0)
Tactic:
bv_decide
State after:
no goals