Def CategoryTheory.shiftMonoidalFunctor

Modification history