Theorem CategoryTheory.Limits.IsLimit.isZero_pt

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