Theorem Cardinal.preAleph_omega0

Modification history

2024-11-19 02:51

Mathlib/SetTheory/Cardinal/Aleph.lean

chore(SetTheory/Cardinal/Aleph): golf `aleph` theorems (#18204)

Modified Cardinal.preAleph_omega0 View on Github →

2024-10-23 09:32

Mathlib/SetTheory/Cardinal/Aleph.lean

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

Added Cardinal.preAleph_omega0 View on Github →