Def CategoryTheory.Triangulated.Octahedron'.triangleMorphism₂

Modification history

2026-03-02 09:57
Mathlib/CategoryTheory/Triangulated/Triangulated.lean
feat(CategoryTheory/Triangulated): Rotated octahedron axiom (#35496) …
Added CategoryTheory.Triangulated.Octahedron'.triangleMorphism₂View on Github →