Theorem PrimeSpectrum.isClosed_iff_zeroLocus_radical_ideal

Modification history