Theorem DerivedCategory.homologyFunctorFactorsh_inv_app_quotient_obj

Modification history

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