Theorem IsLocalization.mapₐ_injective_of_injective

Modification history