Theorem PrimeSpectrum.coe_isIdempotentElemEquivClopens_apply

Modification history