Theorem CategoryTheory.Pretriangulated.Triangle.shiftFunctor_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.shiftFunctor_eqView on Github →