Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.abelian.epi_iff_cokernel_π_eq_zero

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.epi_iff_cokernel_π_eq_zero View on Github →