Theorem Cardinal.aleph0_lt_aleph

Modification history

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