Theorem Mathlib.Tactic.CC.imp_eq_true_of_eq

Modification history