Theorem Finsupp.linearCombination_fin_zero

Modification history