Theorem IsLocalizedModule.fromLocalizedModule_mk

Modification history