mathlib

061ea99a - feat(category_theory/preadditive): constructing a semiadditive structure from binary biproducts (#14445)