Theorem Cardinal.IsInaccessible.nat_lt

Modification history

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