mathlib

6b2ebac6 - chore(category_theory/limits): clean up splittings of (co)product morphisms (#15382)