Theorem Finsupp.embDomain_eq_mapDomain

Modification history