Theorem Mathlib.Tactic.Ring.coeff_mul

Modification history