Theorem Mathlib.Tactic.LinearCombination.lt_of_lt

Modification history