Theorem PrimeSpectrum.isCompact_isOpen_iff

Modification history