Theorem PrimeSpectrum.discreteTopology_iff_finite_and_krullDimLE_zero

Modification history