Theorem IsLocalizedModule.of_linearEquiv

Modification history