Structure IsClub

Modification history

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