Theorem Mathlib.Tactic.LinearCombination.mul_eq_const

Modification history