mathlib

08fed82d - feat(category_theory/preadditive): the Yoneda embedding for preadditive categories (#11740)