Theorem Cardinal.IsRegular.cof_ord

Modification history

2026-05-06 20:53
Mathlib/SetTheory/Cardinal/Regular.lean
feat: singular cardinals (#37098) …
Modified Cardinal.IsRegular.cof_ordView on Github →
2026-03-23 09:51
Mathlib/SetTheory/Cardinal/Regular.lean
refactor: `IsRegular.cof_eq` → `IsRegular.cof_ord` (#37016)
Added Cardinal.IsRegular.cof_ordView on Github →