Theorem Finsupp.sum_smul_index

Modification history