Def CategoryTheory.shiftFunctorAdd'

Modification history