Theorem CategoryTheory.ShiftMkCore.shiftFunctorAdd_eq

Modification history