Theorem compact_exists_clopen_in_open

Modification history