Theorem CategoryTheory.ShiftMkCore.shiftFunctor_eq

Modification history