Theorem PrimeSpectrum.isJacobsonRing_iff_jacobsonSpace

Modification history