mathlib3
feat(category_theory/limits): construct equalizers from pullbacks and products
#2124
Merged
Merged