Theorem Mathlib.Tactic.LinearCombination.c_mul_pf

Modification history