mathlib

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