Theorem Finsupp.mapDomain_apply

Modification history