Theorem PrimeSpectrum.isClosed_iff_zeroLocus_ideal

Modification history