Theorem CategoryTheory.preservesFiniteColimits_le_additiveFunctor

Modification history

2026-10-30 15:08
Mathlib/CategoryTheory/Preadditive/AdditiveFunctor.lean
chore(CategoryTheory): deprecate `leftExactFunctor` (#45418) …
Added CategoryTheory.preservesFiniteColimits_le_additiveFunctorView on Github →