Theorem PrimeSpectrum.maximalSpectrumToPiLocalization_surjective_of_discreteTopology

Modification history