Theorem: bitvec_AndOrXor_887_2 (Eval/bitvec_AndOrXor_887_2.lean)

State before:
⊢ ∀ (a C1 : BitVec 64), (a == C1 && a != C1) = false
Tactic:
intros
State after:
a✝ C1✝ : BitVec 64
⊢ (a✝ == C1✝ && a✝ != C1✝) = false

State before:
a✝ C1✝ : BitVec 64
⊢ (a✝ == C1✝ && a✝ != C1✝) = false
Tactic:
bv_decide
State after:
no goals