Def CategoryTheory.Pretriangulated.Triangle.invRotate

Modification history

2023-04-08 22:23

Mathlib/CategoryTheory/Triangulated/Rotate.lean

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

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