Def CategoryTheory.Limits.KernelFork.isLimitOfIsLimitOfIff

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.KernelFork.isLimitOfIsLimitOfIffView on Github →