Structure Cardinal.IsInaccessible

Modification history

2026-03-24 13:52

Mathlib/SetTheory/Cardinal/Regular.lean

chore(SetTheory/Cardinal/Regular): make `IsRegular` and `IsInaccessible` into structures (#36933) …

Added Cardinal.IsInaccessible View on Github →