Theorem isClosed_Ico_iff

Modification history

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