Theorem PrimeSpectrum.exists_mul_eq_zero_add_eq_one_basicOpen_eq_of_isClopen

Modification history