Theorem IsClub.isNormal_subtypeVal

Modification history

2026-10-17 11:31
Mathlib/SetTheory/Cardinal/Cofinality/Club.lean
feat: every element is between two others in a club set (#44793) …
Added IsClub.isNormal_subtypeValView on Github →