Theorem Cardinal.preBeth_nat

Modification history

2026-10-17 10:55
Mathlib/SetTheory/Cardinal/Aleph.lean
chore(SetTheory/Cardinal/Aleph): fix some theorem names (#44859) …
Deleted Cardinal.preBeth_natView on Github →
2025-03-04 18:52
Mathlib/SetTheory/Cardinal/Aleph.lean
feat(SetTheory/Cardinal/Aleph): introduce pre-beth function (#20749) …
Added Cardinal.preBeth_natView on Github →