Theorem exists_open_with_compact_closure

Modification history