Theorem isCompact_Ioc_iff

Modification history

2025-01-05 12:29
Mathlib/Topology/Order/Compact.lean
feat: `Ico`, `Ioc`, and `Ioo` are not closed or compact (#20479) …
Added isCompact_Ioc_iffView on Github →