Theorem Cardinal.preBeth_eq_zero

Modification history

2025-08-31 01:28

Mathlib/SetTheory/Cardinal/Aleph.lean

feat(SetTheory/Cardinal/Aleph): `IsStrongLimit (preBeth x)` (#26895)

Added Cardinal.preBeth_eq_zero View on Github →