Theorem IsLocalizedModule.mk'_eq_zero'

Modification history