Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.colimit.ι_desc_app

Modification history

2020-09-26 10:16

src/category_theory/limits/functor_category.lean

feat(algebraic_geometry/presheafed_space): gluing presheaves (#4198) …

Added category_theory.limits.colimit.ι_desc_app View on Github →