Theorem Mathlib.Tactic.Ring.neg_mul

Modification history