Theorem IsLocalizedModule.mk'_eq_zero

Modification history