Def Profinite.limit_cone_is_limit

Modification history

2021-05-07 22:54
src/topology/category/Profinite/default.lean
feat(topology/category/*): Add alternative explicit limit cones for `Top`, etc. and shows `X : Profinite` is a limit of finite sets. (#7448) …
Added Profinite.limit_cone_is_limitView on Github →