Theorem Mathlib.Tactic.CC.iff_eq_true_of_eq

Modification history