Theorem Localization.AtPrime.comap_maximalIdeal

Modification history