Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-25 12:27 a227e06c

View on Github →

Unify naming of lemmas related to the (co)lim functor (#2040)

Estimated changes

Modified src/algebraic_geometry/stalks.lean

Modified src/category_theory/limits/limits.lean

deleted theorem category_theory.limits.colim.ι_map

added theorem category_theory.limits.colimit.ι_map

deleted theorem category_theory.limits.lim.map_π

added theorem category_theory.limits.limit.map_π

Modified src/topology/sheaves/stalks.lean