Theorem Mathlib.Tactic.Linarith.mul_neg

Modification history