Theorem IsLocalizedModule.mk'_zero

Modification history