Def CochainComplex.shiftEval

Modification history

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