Def CategoryTheory.Triangulated.Octahedron.triangleMorphism₂

Modification history