Theorem IsLocalizedModule.mk'_smul_mk'

Modification history