Theorem IsLocalizedModule.mk'_eq_mk'_iff

Modification history