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

State before:
a b : Bool
⊢ (a = true ↔ b = true) = (((!a || b) && (!b || a)) = true)
Tactic:
revert a b
State after:
⊢ ∀ (a b : Bool), (a = true ↔ b = true) = (((!a || b) && (!b || a)) = true)

State before:
⊢ ∀ (a b : Bool), (a = true ↔ b = true) = (((!a || b) && (!b || a)) = true)
Tactic:
decide
State after:
no goals