Theorem CategoryTheory.Pretriangulated.Triangle.shiftFunctorAdd_eq

Modification history