Theorem Mathlib.Tactic.LinearCombination.c_sub_pf

Modification history