Theorem Order.isNormal_enum_iff_dirSupClosed

Modification history

2026-10-17 11:31
Mathlib/SetTheory/Cardinal/Cofinality/Enum.lean
feat: every element is between two others in a club set (#44793) …
Modified Order.isNormal_enum_iff_dirSupClosedView on Github →
2026-07-03 00:00
Mathlib/SetTheory/Cardinal/Cofinality/Enum.lean
feat: more results on `Order.enum` (#39136) …
Added Order.isNormal_enum_iff_dirSupClosedView on Github →