Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-10-15 22:31
b7d176e5
View on Github →
feat(category_theory/cones): some isomorphisms relating operations (
#4536
)
Estimated changes
Modified
src/category_theory/limits/cones.lean
added
def
category_theory.functor.map_cocone_precompose
added
def
category_theory.functor.map_cocone_precompose_equivalence_functor
added
def
category_theory.functor.map_cocone_whisker
added
def
category_theory.functor.map_cone_postcompose
added
def
category_theory.functor.map_cone_postcompose_equivalence_functor
added
def
category_theory.functor.map_cone_whisker