Theorem PrimeSpectrum.isOpen_singleton_tfae_of_isNoetherian_of_isJacobsonRing

Modification history