Theorem CategoryTheory.Pretriangulated.Triangle.shift_distinguished_iff

Modification history

2025-12-10 21:53
Mathlib/CategoryTheory/Triangulated/Pretriangulated.lean
feat(CategoryTheory): the opposite of a triangulated category is triangulated (#32535)
Added CategoryTheory.Pretriangulated.Triangle.shift_distinguished_iffView on Github →