Theorem Ordinal.cof_ord_cof

Modification history

2026-03-23 03:33
Mathlib/SetTheory/Cardinal/Cofinality.lean
chore: rename `Ordinal.cof_cof` → `Ordinal.cof_ord_cof` (#36975) …
Added Ordinal.cof_ord_cofView on Github →