Theorem Order.IsNormal.dirSupClosed_range

Modification history

2026-10-17 11:31
Mathlib/Order/IsNormal.lean
feat: every element is between two others in a club set (#44793) …
Modified Order.IsNormal.dirSupClosed_rangeView on Github →
2026-05-11 10:53
Mathlib/Order/IsNormal.lean
feat: normal function has a closed range (#39137)
Added Order.IsNormal.dirSupClosed_rangeView on Github →