Def HomologicalComplex.preservesColimitsOfShapeOfEval

Modification history

2024-11-19 08:25
Mathlib/Algebra/Homology/HomologicalComplexLimits.lean
refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …
Deleted HomologicalComplex.preservesColimitsOfShapeOfEvalView on Github →
2023-11-24 13:15
Mathlib/Algebra/Homology/HomologicalComplexLimits.lean
feat: limits and colimits in the category of homological complexes (#8472)
Added HomologicalComplex.preservesColimitsOfShapeOfEvalView on Github →