Theorem Finsupp.sum_smul_index_addMonoidHom

Modification history