# Commit 2024-07-09 18:31 eb669117

View on Github →refactor: removing the old homology API (#14569)
The now redundant old homology API is removed. (It was already mostly unused.)
The only slightly non-trivial changes are in `CategoryTheory.Abelian.Exact`

where some definitions and proofs have been refactored. The proof that the category of abelian groups satisfies Grothendieck's AB5 axiom had to be moved to a separate file `Algebra.Category.Grp.AB5`

.