Theorem Finsupp.lmapDomain_apply

Modification history