mathlib

7d6f37dc - feat(category_theory/closed/cartesian): product preserves colimits (#4893)