Def HomologicalComplex.shortComplexFunctor'

Modification history

2023-07-31 16:57
Mathlib/Algebra/Homology/ShortComplex/HomologicalComplex.lean
feat: the short complexes attached to homological complexes (#6039) …
Added HomologicalComplex.shortComplexFunctor'View on Github →