Theorem IsLocalizedModule.mk'_mul_mk'

Modification history