Theorem upperClosure_eq_Ici_csInf

Modification history

2026-01-07 13:28
Mathlib/Topology/Order/IsLUB.lean
feat(Analysis): ℘ is analytic (#32911)
Added upperClosure_eq_Ici_csInfView on Github →