Theorem Mathlib.Tactic.LinearCombination.eq_of_add

Modification history