Theorem HomologicalComplexUpToQuasiIso.homologyFunctorFactorsh_hom_app_quotient_obj

Modification history

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