Theorem CochainComplex.shiftShortComplexFunctorIso_zero_add_hom_app

Modification history

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