Theorem: BVDecide.Normalize.Bool.bne_to_beq (LeanSAT/Reflect/Tactics/Normalize/Canonicalize.lean)

State before:
a b : Bool
⊢ (a != b) = !a == b
Tactic:
simp [bne]
State after:
no goals