Theorem Cardinal.lt_aleph0_or_isRegular_or_isSingular

Modification history

2026-05-06 20:53
Mathlib/SetTheory/Cardinal/Regular.lean
feat: singular cardinals (#37098) …
Added Cardinal.lt_aleph0_or_isRegular_or_isSingularView on Github →