Def CategoryTheory.shiftFunctor

Modification history