Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.cokernel_funext

Modification history

2022-05-04 15:53
src/category_theory/limits/concrete_category.lean
feat(algebra/homology/Module): API for complexes of modules (#12622) …
Added category_theory.limits.cokernel_funextView on Github →