Theorem Finsupp.equivMapDomain_zero

Modification history