Theorem IsCofinal.nonempty

Modification history

2026-07-03 00:00
Mathlib/Order/Cofinal.lean
feat: more results on `Order.enum` (#39136) …
Modified IsCofinal.nonemptyView on Github →
2026-06-21 22:46
Mathlib/Order/Cofinal.lean
feat: stationary sets (#39727) …
Added IsCofinal.nonemptyView on Github →