Theorem Order.aleph0_le_cof

Modification history

2026-05-21 00:46
Mathlib/SetTheory/Cardinal/Cofinality/Basic.lean
feat: club sets (#37677) …
Added Order.aleph0_le_cofView on Github →