Def CategoryTheory.Pretriangulated.rotCompInvRot

Modification history

2023-04-08 22:23

Mathlib/CategoryTheory/Triangulated/Rotate.lean

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

Added CategoryTheory.Pretriangulated.rotCompInvRot View on Github →