Theorem PrimeSpectrum.existsUnique_idempotent_basicOpen_eq_of_isClopen

Modification history