Theorem isCompact_closure_Ico

Modification history

2026-10-20 13:30
Mathlib/Topology/Order/Compact.lean
feat: add some lemmas that closures of some sets are compact (#39382) …
Added isCompact_closure_IcoView on Github →