Theorem Finsupp.linearCombination_zero

Modification history