Theorem: bitvec_AndOrXor_827 (Eval/bitvec_AndOrXor_827.lean)

State before:
⊢ ∀ (a b : BitVec 64), (a == 0 && b == 0) = (a ||| b == 0)
Tactic:
intros
State after:
a✝ b✝ : BitVec 64
⊢ (a✝ == 0 && b✝ == 0) = (a✝ ||| b✝ == 0)

State before:
a✝ b✝ : BitVec 64
⊢ (a✝ == 0 && b✝ == 0) = (a✝ ||| b✝ == 0)
Tactic:
bv_decide
State after:
no goals