mathlib3

cdb13984 - feat(category_theory/limits): any functor preserves split coequalizers (#5246)

feat(category_theory/limits): any functor preserves split coequalizers (#5246) Once #5230 merges, the only diff in this PR should be in `src/category_theory/limits/preserves/shapes/equalizers.lean`