Theorem Cardinal.isStrongLimit_preBeth

Modification history

2025-08-31 01:28

Mathlib/SetTheory/Cardinal/Aleph.lean

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

Added Cardinal.isStrongLimit_preBeth View on Github →