Def CochainComplex.shiftShortComplexFunctor'

Modification history

2024-04-18 09:26
Mathlib/Algebra/Homology/HomotopyCategory/ShiftSequence.lean
feat(Algebra/Homology): compatibilities of homology and shifts (#11782) …
Added CochainComplex.shiftShortComplexFunctor'View on Github →