Theorem Mathlib.Tactic.LinearCombination.mul_const_lt_weak

Modification history