Theorem CategoryTheory.Functor.map_sum
Modification history
2023-12-04 11:39
Mathlib/CategoryTheory/Preadditive/AdditiveFunctor.lean
chore: remove deprecated MonoidHom.map_prod, AddMonoidHom.map_sum (#8787)
Deleted CategoryTheory.Functor.map_sumView on Github →