Theorem IsLocalization.surjective_quotientMap_of_maximal_of_localization

Modification history