Theorem Mathlib.Tactic.LinearCombination.lt_of_eq

Modification history