Def category_theory.limits.functor_category_colimit_cocone
Modification history
2020-09-14 00:14
src/category_theory/limits/functor_category.lean
chore(category_theory/limits/functor_category): shuffle limits in functor cats (#4124) …
Deleted category_theory.limits.functor_category_colimit_coconeView on Github →