Theorem CategoryTheory.AdditiveFunctor.of_fst

Modification history

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