Theorem Finsupp.mapDomain_smul

Modification history