# Commit 2020-09-26 10:16 aa11589a

View on Github →feat(algebra/homology, category_theory/abelian): expand API on exactness (#4256)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra/homology, category_theory/abelian): expand API on exactness (#4256)