Theorem PrimeSpectrum.mem_basicOpen

Modification history