Def CategoryTheory.Functor.isLimitMapConeBinaryFanOfPreservesKernels

Modification history

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