Theorem PrimeSpectrum.isClopen_iff_mul_add_zeroLocus

Modification history