Theorem Mathlib.Tactic.LinearCombination.add_eq_lt

Modification history