Theorem Mathlib.Tactic.LinearCombination.eq_trans₃

Modification history