Theorem Mathlib.Tactic.CC.eq_true_of_and_eq_true_right

Modification history