Def CategoryTheory.Functor.isColimitMapCoconeBinaryCofanOfPreservesCokernels

Modification history

2023-03-14 08:11
Mathlib/CategoryTheory/Preadditive/LeftExact.lean
feat: port CategoryTheory.Preadditive.LeftExact (#2853)
Added CategoryTheory.Functor.isColimitMapCoconeBinaryCofanOfPreservesCokernelsView on Github →