Theorem: bitvec_AndOrXor_794 (Eval/bitvec_AndOrXor_794.lean)

State before:
⊢ ∀ (a b : BitVec 64), (b.slt a && a != b) = b.slt a
Tactic:
intros
State after:
a✝ b✝ : BitVec 64
⊢ (b✝.slt a✝ && a✝ != b✝) = b✝.slt a✝

State before:
a✝ b✝ : BitVec 64
⊢ (b✝.slt a✝ && a✝ != b✝) = b✝.slt a✝
Tactic:
bv_decide
State after:
no goals