Theorem CategoryTheory.AdditiveFunctor.ofExact_obj_fst

Modification history

2023-03-11 13:48
Mathlib/CategoryTheory/Preadditive/AdditiveFunctor.lean
feat: port CategoryTheory.Preadditive.AdditiveFunctor (#2779)
Added CategoryTheory.AdditiveFunctor.ofExact_obj_fstView on Github →