Theorem CategoryTheory.shiftFunctorAdd'_eq_shiftFunctorAdd

Modification history