Theorem CategoryTheory.Pretriangulated.Triangle.shiftFunctorZero_eq

Modification history