Theorem CategoryTheory.Functor.coe_mapAddHom

Modification history

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