Theorem CategoryTheory.Pretriangulated.Triangle.shiftFunctorAdd'_eq

Modification history

2023-12-26 12:09

Mathlib/CategoryTheory/Triangulated/TriangleShift.lean

feat(CategoryTheory/Triangulated): Functor.mapTriangle commutes with the shift (#9073) …

Added CategoryTheory.Pretriangulated.Triangle.shiftFunctorAdd'_eq View on Github →