mathlib

4cf0e600 - feat(category_theory/limits): generalize has_biproduct.of_has_product (#12116)