Def CategoryTheory.Triangulated.Octahedron'.triangle

Modification history

2026-03-02 09:57

Mathlib/CategoryTheory/Triangulated/Triangulated.lean

feat(CategoryTheory/Triangulated): Rotated octahedron axiom (#35496) …

Added CategoryTheory.Triangulated.Octahedron'.triangle View on Github →