Theorem CategoryTheory.Functor.isHomological_of_localization

Modification history

2024-06-09 22:38
Mathlib/CategoryTheory/Triangulated/HomologicalFunctor.lean
feat: the homology sequence of a distinguished triangle in the derived category (#13664) …
Added CategoryTheory.Functor.isHomological_of_localizationView on Github →