Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nonempty_sections_of_fintype_inverse_system.init

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 nonempty_sections_of_fintype_inverse_system.initView 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 nonempty_sections_of_fintype_inverse_system.initView on Github →