Theorem CategoryTheory.Abelian.Functor.exact_of_map_projectiveResolution

Modification history

2023-11-30 20:26
Mathlib/CategoryTheory/Abelian/LeftDerived.lean
refactor(Algebra/Homology): use the new homology API (#8706) …
Deleted CategoryTheory.Abelian.Functor.exact_of_map_projectiveResolutionView on Github →
2023-06-07 01:25
Mathlib/CategoryTheory/Abelian/LeftDerived.lean
chore: tidy various files (#4757)
Added CategoryTheory.Abelian.Functor.exact_of_map_projectiveResolutionView on Github →