Theorem CochainComplex.ShiftSequence.shiftIso_inv_app

Modification history

2024-07-09 09:09
Mathlib/Algebra/Homology/HomotopyCategory/ShiftSequence.lean
chore: add missing spaces around = or := (#14554) …
Modified CochainComplex.ShiftSequence.shiftIso_inv_appView on Github →
2024-04-18 09:26
Mathlib/Algebra/Homology/HomotopyCategory/ShiftSequence.lean
feat(Algebra/Homology): compatibilities of homology and shifts (#11782) …
Added CochainComplex.ShiftSequence.shiftIso_inv_appView on Github →