Theorem Finsupp.equivMapDomain_eq_mapDomain

Modification history