Theorem IsLocalizedModule.fromLocalizedModule.bij

Modification history