Theorem Mathlib.Tactic.LinearCombination.mul_const_eq

Modification history