Theorem IsLocalization.mapₐ_surjective_of_surjective

Modification history