Theorem exists_isCompact_isClosed_subset_isCompact_nhds_one

Modification history