Theorem exists_open_between_and_isCompact_closure

Modification history