Theorem Mathlib.Tactic.Ring.mul_pp_pf_overlap

Modification history