Theorem Finsupp.mapDomain_apply'

Modification history