Theorem PrimeSpectrum.isIdempotentElemEquivClopens_mul

Modification history