Theorem Finsupp.prod_mapDomain_index_inj

Modification history