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.