Theorem Finsupp.comapDomain_smul

Modification history