Theorem Finsupp.mapDomain_congr

Modification history