Theorem lowerClosure_eq_top

Modification history

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