Theorem PrimeSpectrum.eq_biUnion_of_isOpen

Modification history