Theorem PrimeSpectrum.basicOpen_zero

Modification history