Theorem IsLocalizedModule.fromLocalizedModule.inj

Modification history