Theorem Finsupp.mapDomain_mapRange

Modification history