Def CategoryTheory.Limits.IsLimit.ofIsZero

Modification history

2024-06-25 06:18
Mathlib/CategoryTheory/Limits/Shapes/ZeroMorphisms.lean
feat(Algebra/Homology) the single complex functor preserves (co)limits (#13875) …
Added CategoryTheory.Limits.IsLimit.ofIsZeroView on Github →