mathlib3
feat(category_theory/limits) Binary product from pullbacks and terminal object
#1998
Merged
Merged