Theorem DerivedCategory.shift_homologyFunctor

Modification history

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