Theorem Mathlib.Tactic.CC.or_eq_of_eq

Modification history