Theorem IsOpen.exists_lt_isCompact

Modification history