Theorem Cardinal.not_isStrongPrelimit_iff

Modification history

2026-05-14 10:13
Mathlib/SetTheory/Cardinal/Order.lean
feat(SetTheory/Cardinal): `IsStrongPrelimit` predicate (#37406) …
Added Cardinal.not_isStrongPrelimit_iffView on Github →