Theorem Mathlib.Tactic.LinearCombination.add_eq_eq

Modification history