mathlib3

1d67b07c - feat(category_theory): cases in which (co)equalizers are split monos (epis) (#12498)