Theorem IsClub.iInter_of_cof_le_one

Modification history

2026-05-24 14:07
Mathlib/SetTheory/Cardinal/Cofinality/Club.lean
chore(SetTheory/Cardinality/Cofinality/Club): use `namespace` (#39641) …
Modified IsClub.iInter_of_cof_le_oneView on Github →
2026-05-21 00:46
Mathlib/SetTheory/Cardinal/Cofinality/Club.lean
feat: club sets (#37677) …
Added IsClub.iInter_of_cof_le_oneView on Github →