Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-04 08:09 b7991c0a

View on Github →

feat(category_theory/limits/cones): map_cone and postcompose lemmas (#4894)

Estimated changes

Modified src/category_theory/limits/cones.lean

added def category_theory.functor.functoriality_comp_postcompose

added def category_theory.functor.functoriality_comp_precompose

added def category_theory.functor.postcompose_whisker_left_map_cone

added def category_theory.functor.precompose_whisker_left_map_cocone