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 →