Structure CategoryTheory.Triangulated.Octahedron

Modification history

2023-04-10 20:28
Mathlib/CategoryTheory/Triangulated/Triangulated.lean
feat: port CategoryTheory.Triangulated.Triangulated (#3072) …
Added CategoryTheory.Triangulated.OctahedronView on Github →