Theorem Finsupp.comapDomain_smul_of_injective

Modification history