Theorem Finsupp.sum_smul_index'

Modification history