Theorem CategoryTheory.Pretriangulated.Opposite.mem_distinguishedTriangles_iff'

Modification history

2024-12-29 10:18

Mathlib/CategoryTheory/Triangulated/Opposite/Basic.lean

chore(CategoryTheory/Pretriangulated/Opposite): split CategoryTheory.Triangulated.Opposite into three files (#20316) …

Modified CategoryTheory.Pretriangulated.Opposite.mem_distinguishedTriangles_iff'View on Github →

2023-09-22 17:59

Mathlib/CategoryTheory/Triangulated/Opposite.lean

feat: definition of the distinguished triangles in the opposite category (#7327)

Added CategoryTheory.Pretriangulated.Opposite.mem_distinguishedTriangles_iff'View on Github →