mathlib3

6db15773 - feat(category_theory/preadditive): separators in preadditive categories (#11884)