Mathlib v3 is deprecated. Go to Mathlib v4

Def ulift.directed_order

Modification history

2021-06-21 14:25
src/topology/category/Top/limits.lean
feat(topology/category/limits): Generalize Topological Kőnig's lemma (#7982) …
Deleted ulift.directed_orderView on Github →
2021-06-12 02:37
src/topology/category/Top/limits.lean
feat(topology/category/Top/limits): Kőnig's lemma for fintypes (#6288) …
Added ulift.directed_orderView on Github →