Def category_theory.limits.types.colimit_is_colimit

Modification history

2020-03-14 08:02
src/category_theory/limits/types.lean
feat(algebra): monoidal category of R-modules (#2125) …
Deleted category_theory.limits.types.colimit_is_colimitView on Github →
2018-12-02 17:36
category_theory/limits/types.lean
feat(category_theory/limits): (co)limits, and (co)limits in Type
Added category_theory.limits.types.colimit_is_colimitView on Github →