Def CochainComplex.shiftFunctorAdd'

Modification history

2023-10-30 15:05

Mathlib/Algebra/Homology/HomotopyCategory/Shift.lean

chore: remove some double spaces (#7983)

Modified CochainComplex.shiftFunctorAdd'View on Github →

2023-09-05 16:59

Mathlib/Algebra/Homology/HomotopyCategory/Shift.lean

feat: the shift on the category of cochain complexes (#6626) …

Added CochainComplex.shiftFunctorAdd'View on Github →