Theorem Mathlib.Tactic.LinearCombination.pf_mul_c

Modification history