Theorem Cardinal.IsInaccessible.ne_zero

Modification history

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