Theorem Cardinal.preBeth_inj

Modification history

2025-08-31 01:28

Mathlib/SetTheory/Cardinal/Aleph.lean

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

Added Cardinal.preBeth_inj View on Github →