mathlib

8f09a402 - chore(category_theory/preadditive/biproducts): speed up biprod.of_components_eq (#16516)