Theorem Finsupp.apply_linearCombination

Modification history