Theorem CategoryTheory.Functor.isTriangulated_of_precomp_iso

Modification history

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