Theorem Order.cof_ord_cof

Modification history

2026-03-22 04:25
Mathlib/SetTheory/Cardinal/Cofinality.lean
feat: cofinality is idempotent (#36702) …
Added Order.cof_ord_cofView on Github →