Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.abelian.epi_of_cokernel_π_eq_zero

Modification history

2020-09-26 10:16

src/category_theory/abelian/basic.lean

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

Added category_theory.abelian.epi_of_cokernel_π_eq_zero View on Github →