Theorem CategoryTheory.Functor.mem_mapTriangle_essImage_of_distinguished

Modification history

2024-07-17 21:58
Mathlib/CategoryTheory/Triangulated/Functor.lean
feat: Functor.mapDerivedCategory is a triangulated functor (#14153) …
Added CategoryTheory.Functor.mem_mapTriangle_essImage_of_distinguishedView on Github →