Theorem Order.exists_cof_eq

Modification history

2026-05-25 23:43
Mathlib/SetTheory/Cardinal/Cofinality/Basic.lean
chore: rename `Order.cof_eq` → `Order.exists_cof_eq` (#39851)
Added Order.exists_cof_eqView on Github →