Theorem Cardinal.IsInaccessible.isRegular

Modification history

2025-07-07 00:36
Mathlib/SetTheory/Cardinal/Regular.lean
refactor(SetTheory/Cardinal/Regular): review `IsInaccessible` API (#26606) …
Added Cardinal.IsInaccessible.isRegularView on Github →