Theorem Mathlib.Tactic.LinearCombination.le_of_eq

Modification history