Theorem PrimeSpectrum.isIdempotentElemEquivClopens_apply_toOpens

Modification history