mathlib

2d175ae6 - feat(topology/category/Top/limits): Kőnig's lemma for fintypes (#6288)

feat(topology/category/Top/limits): Kőnig's lemma for fintypes (#6288) Specializes `Top.nonempty_limit_cone_of_compact_t2_inverse_system` to an inverse system of nonempty fintypes.