Theorem Mathlib.Tactic.CC.if_eq_of_eq_true

Modification history