Def CategoryTheory.Pretriangulated.Triangle.rotate

Modification history

2023-04-08 22:23

Mathlib/CategoryTheory/Triangulated/Rotate.lean

feat: port CategoryTheory.Triangulated.Rotate (#3047)

Added CategoryTheory.Pretriangulated.Triangle.rotate View on Github →