Def Cardinal.preAleph

Modification history

2024-11-01 19:53

Mathlib/SetTheory/Cardinal/Aleph.lean

feat(SetTheory/Cardinal/Aleph): simpler definition of `aleph` (#17674) …

Modified Cardinal.preAleph View on Github →

2024-10-23 09:32

Mathlib/SetTheory/Cardinal/Aleph.lean

refactor(SetTheory/Cardinal/Aleph): `aleph'` → `preAleph` (#18099) …

Added Cardinal.preAleph View on Github →