Theorem CategoryTheory.Triangulated.TStructure.exists_triangle

Modification history

2024-05-15 11:20
Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean
feat(CategoryTheory/Triangulated): t-structures (#12619) …
Added CategoryTheory.Triangulated.TStructure.exists_triangleView on Github →