Theorem IsLocalization.injective_iff_isRegular

Modification history