Theorem CategoryTheory.ShiftMkCore.shiftFunctorZero_eq

Modification history