mathlib

556483f4 - feat(category_theory/limits): (co)equalizers in the opposite category (#11874)