Def CategoryTheory.shiftFunctorComm

Modification history