Theorem Mathlib.Tactic.Ring.lt_add_of_pos_left

Modification history