Theorem Finsupp.equivMapDomain_trans

Modification history