Def HomologicalComplex.isColimitOfEval

Modification history

2023-11-24 13:15
Mathlib/Algebra/Homology/HomologicalComplexLimits.lean
feat: limits and colimits in the category of homological complexes (#8472)
Added HomologicalComplex.isColimitOfEvalView on Github →