Theorem CategoryTheory.Abelian.Functor.exact_of_map_injectiveResolution

Modification history