Def CategoryTheory.Pretriangulated.invRotCompRot

Modification history

2023-04-08 22:23

Mathlib/CategoryTheory/Triangulated/Rotate.lean

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

Added CategoryTheory.Pretriangulated.invRotCompRot View on Github →