Theorem Cardinal.not_isStrongLimit_zero

Modification history

2025-08-31 01:28

Mathlib/SetTheory/Cardinal/Order.lean

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

Added Cardinal.not_isStrongLimit_zero View on Github →