Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
category_theory.preadditive.is_colimit_cokernel_cofork_of_cofork
Modification history
2022-03-12 02:28
src/category_theory/preadditive/default.lean
feat(category_theory): interderivability of kernel and equalizers in preadditive cats (#12576)
Added
category_theory.preadditive.is_colimit_cokernel_cofork_of_cofork
View on Github →