Theorem Finsupp.single_of_embDomain_single

Modification history