Theorem exists_isOpen_mem_isCompact_closure

Modification history