Theorem PrimeSpectrum.isIdempotentElemEquivClopens_symm_inf

Modification history