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