mathlib

f1200764 - feat(category_theory): (co)equalizers and (co)kernels when composing with monos/epis (#12828)