Theorem IsLocalizedModule.fromLocalizedModule'_mk

Modification history