Theorem lowerClosure_eq_top_iff

Modification history

2026-03-23 08:24
Mathlib/Order/UpperLower/Closure.lean
chore(Order/UpperLower/Closure): use `to_dual` (#36969) …
Deleted lowerClosure_eq_top_iffView on Github →
2026-01-07 13:28
Mathlib/Order/UpperLower/Closure.lean
feat(Analysis): ℘ is analytic (#32911)
Added lowerClosure_eq_top_iffView on Github →