Theorem Mathlib.Tactic.CC.and_eq_of_eq_false_left

Modification history