Theorem: bitvec_AndOrXor_698 (Eval/bitvec_AndOrXor_698.lean)

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

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