Theorem PrimeSpectrum.piLocalizationToMaximal_bijective

Modification history