Theorem Order.cof_eq_zero

Modification history

2026-05-10 00:45
Mathlib/SetTheory/Cardinal/Cofinality/Basic.lean
chore: split `SetTheory.Cardinal.Cofinality` (#38363) …
Modified Order.cof_eq_zeroView on Github →
2026-03-15 22:43
Mathlib/SetTheory/Cardinal/Cofinality.lean
refactor: redefine `Order.cof` for a preorder (#35513) …
Added Order.cof_eq_zeroView on Github →