Def CategoryTheory.shiftFunctorAdd

Modification history