Theorem Cardinal.IsInaccessible.isStrongLimit

Modification history

2026-05-14 10:13
Mathlib/SetTheory/Cardinal/Regular.lean
feat(SetTheory/Cardinal): `IsStrongPrelimit` predicate (#37406) …
Modified Cardinal.IsInaccessible.isStrongLimitView on Github →
2026-05-06 20:53
Mathlib/SetTheory/Cardinal/Regular.lean
feat: singular cardinals (#37098) …
Modified Cardinal.IsInaccessible.isStrongLimitView on Github →
2025-07-07 00:36
Mathlib/SetTheory/Cardinal/Regular.lean
refactor(SetTheory/Cardinal/Regular): review `IsInaccessible` API (#26606) …
Added Cardinal.IsInaccessible.isStrongLimitView on Github →