Theorem Mathlib.Tactic.CC.and_eq_of_eq_false_right

Modification history