mathlib

9ed43666 - feat(category_theory/limits): limit preservation properties of functor.left_op and similar (#12168)