# Commit 2024-02-09 04:56 6bbc3706

View on Github →feat(Algebra/Homology/HomotopyCategory): rotating and shifting distinguished triangles (#9615)
In this PR, we obtain the main technical results that shall be used to verify the pretriangulated category axioms for the homotopy category of cochain complexes: the isomorphisms `mappingCone.rotateTrianglehIso`

and `mappingCone.shiftTriangleIso`

which express the behavior of standard distinguished triangles with respect to rotation and shift.