Def Top.pullback_cone

Modification history

2021-11-24 07:49
src/topology/category/Top/limits.lean
feat(category_theory/limits): Results about (co)limits in Top (#9985) …
Added Top.pullback_coneView on Github →