Theorem Mathlib.Tactic.LinearCombination.mul_lt_const_weak

Modification history