Theorem PrimeSpectrum.isOpen_basicOpen

Modification history