Theorem Mathlib.Tactic.LinearCombination.pf_add_c

Modification history