Def CategoryTheory.preadditiveYonedaObj

Modification history

2023-04-24 05:58

Mathlib/CategoryTheory/Preadditive/Yoneda/Basic.lean

feat: port CategoryTheory.Preadditive.Yoneda.Basic (#3603)

Added CategoryTheory.preadditiveYonedaObj View on Github →