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

State before:
a : Bool
⊢ (¬a = true) = ((!a) = true)
Tactic:
simp
State after:
no goals