Structure CategoryTheory.Triangulated.Octahedron'

Modification history

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