Theorem closure_uIcc

Modification history

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