Theorem: Misc.Bool.eq_not_iff (LeanSAT/Util/Misc.lean)

State before:
⊢ ∀ {a b : Bool}, a = !b ↔ a ≠ b
Tactic:
intro a b
State after:
a b : Bool
⊢ a = !b ↔ a ≠ b

State before:
a b : Bool
⊢ a = !b ↔ a ≠ b
Tactic:
cases a <;> cases b <;> decide
State after:
no goals