Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-16 04:46 1037a3a7

View on Github →

feat(algebra/homology, category_theory/abelian, algebra/category/Module): exactness (#3784) We define what it means for two maps f and g to be exact and show that for R-modules, this is the case if and only if range f = ker g.

Estimated changes