Theorem Mathlib.Tactic.CC.eq_true_of_not_eq_false

Modification history