Theorem: IMOSL.IMO2009N2.xor_eq_false_iff_eq (IMOSLLean4/IMO2009/N2/N2.lean)

State before:
a b : Bool
⊢ xor a b = false ↔ a = b
Tactic:
rw [← Bool.bool_iff_false, Bool.xor_iff_ne, not_not]
State after:
no goals