Theorem: Bool.eq_false_iff_eq_false (LeanSAT/Upstream/ToMathlib.lean)

State before:
a b : Bool
⊢ (a = false ↔ b = false) ↔ a = b
Tactic:
cases a <;> cases b <;> decide
State after:
no goals