Theorem Finsupp.sum_mapDomain_index_addMonoidHom

Modification history