Theorem Mathlib.Tactic.Ring.add_mul

Modification history