Theorem Finsupp.mapDomain_support_of_injective

Modification history