Structure CategoryTheory.Triangulated.TStructure

Modification history

2024-05-15 11:20

Mathlib/CategoryTheory/Triangulated/TStructure/Basic.lean

feat(CategoryTheory/Triangulated): t-structures (#12619) …

Added CategoryTheory.Triangulated.TStructure View on Github →