Def CategoryTheory.Limits.CokernelCofork.isColimitOfIsColimitOfIff'

Modification history

2024-11-30 00:02

Mathlib/CategoryTheory/Limits/Shapes/Kernels.lean

feat(Algebra/Homology/Embedding): the left homology of an extension of homological complexes (#18502) …

Added CategoryTheory.Limits.CokernelCofork.isColimitOfIsColimitOfIff'View on Github →