Theorem Mathlib.Tactic.LinearCombination.mul_const_lt

Modification history