Theorem PrimeSpectrum.basicOpen_pow

Modification history