Theorem Localization.AtPrime.eq_maximalIdeal_iff_comap_eq

Modification history