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.

Estimated changes