Theorem IsLocalizedModule.of_restrictScalars

Modification history