Theorem DFinsupp.comapDomain'_smul

Modification history