Theorem IsLocalizedModule.isRegular_of_smul_left_injective

Modification history