Theorem DerivedCategory.shiftMap_homologyFunctor_map_Q

Modification history

2026-03-02 23:05
Mathlib/Algebra/Homology/DerivedCategory/HomologySequence.lean
feat(Algebra/Homology): compatibilities for homology functors (#35938) …
Added DerivedCategory.shiftMap_homologyFunctor_map_QView on Github →