Theorem PrimeSpectrum.isClopen_basicOpen_of_mul_add

Modification history