Theorem IsLocalizedModule.smul_injective

Modification history