Theorem Finsupp.embDomain_apply

Modification history