Theorem Mathlib.Tactic.LinearCombination.pf_sub_c

Modification history