Theorem PrimeSpectrum.isIdempotentElemEquivClopens_one_sub

Modification history