Theorem CategoryTheory.Abelian.Functor.preserves_exact_of_PreservesFiniteColimits_of_epi

Modification history