Theorem IsLocalizedModule.injective_iff_isRegular

Modification history