Theorem Order.isNormal_enum_iff_isClub

Modification history

2026-07-03 00:00
Mathlib/SetTheory/Cardinal/Cofinality/Club.lean
feat: more results on `Order.enum` (#39136) …
Added Order.isNormal_enum_iff_isClubView on Github →