Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.abelian.exact_cokernel

Modification history

2020-09-26 10:16

src/category_theory/abelian/exact.lean

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

Added category_theory.abelian.exact_cokernel View on Github →