Theorem Finsupp.equivMapDomain_single

Modification history