Def CategoryTheory.Functor.mapTriangleIdIso

Modification history

2024-07-17 21:58

Mathlib/CategoryTheory/Triangulated/Functor.lean

feat: Functor.mapDerivedCategory is a triangulated functor (#14153) …

Added CategoryTheory.Functor.mapTriangleIdIso View on Github →