Theorem PrimeSpectrum.discreteTopology_iff_finite_and_isPrime_imp_isMaximal

Modification history