Theorem Mathlib.Tactic.Ring.add_lt_of_neg_left

Modification history