mathlib3

fc78e3c1 - feat(category_theory/abelian/*): functors that preserve finite limits and colimits preserve exactness (#14581)

feat(category_theory/abelian/*): functors that preserve finite limits and colimits preserve exactness (#14581) If $F$ is a functor between two abelian categories which preserves limits and colimits, then it preserves exactness.