Def Cardinal.IsInaccessible

Modification history

2025-07-07 00:36

Mathlib/SetTheory/Cardinal/Regular.lean

refactor(SetTheory/Cardinal/Regular): review `IsInaccessible` API (#26606) …

Modified Cardinal.IsInaccessible View on Github →

2025-03-11 00:25

Mathlib/SetTheory/Cardinal/Cofinality.lean

chore(SetTheory/Cardinal/Cofinality): split file (#21972) …

Modified Cardinal.IsInaccessible View on Github →

2023-02-24 13:27

Mathlib/SetTheory/Cardinal/Cofinality.lean

feat port: SetTheory.Cardinal.Cofinality (#2479)

Added Cardinal.IsInaccessible View on Github →