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.