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

State before:
x : Bool
⊢ x.not = !x
Tactic:
rfl
State after:
no goals