Theorem Localization.AtPrime.map_eq_maximalIdeal

Modification history