Theorem HomotopyCategory.homologyShiftIso_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 HomotopyCategory.homologyShiftIso_hom_appView on Github →