Theorem Finsupp.mapDomain_support

Modification history