mathlib3

03f58c52 - feat(category_theory/limits): the constant functor preserves (co)limits (#15938)