Theorem PrimeSpectrum.basicOpen_isIdempotentElemEquivClopens_symm

Modification history