Theorem IsLocalization.AtPrime.comap_maximalIdeal

Modification history