Theorem compact_exists_isClopen_in_isOpen

Modification history