Theorem PrimeSpectrum.isClopen_iff_mul_add

Modification history