Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.abelian.mono_of_kernel_ι_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.mono_of_kernel_ι_eq_zero View on Github →