mathlib

0453320a - feat(category_theory/limits): The product is the pullback over the terminal objects. (#10581)