Theorem exists_isOpen_superset_and_isCompact_closure

Modification history