Def CategoryTheory.AdditiveFunctor.ofRightExact

Modification history

2023-03-11 13:48

Mathlib/CategoryTheory/Preadditive/AdditiveFunctor.lean

feat: port CategoryTheory.Preadditive.AdditiveFunctor (#2779)

Added CategoryTheory.AdditiveFunctor.ofRightExact View on Github →