Theorem Cardinal.IsRegular.cof_ord

Modification history

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 →