Theorem CategoryTheory.AdditiveFunctor.forget_map

Modification history

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