Def CategoryTheory.Monoidal.FunctorCategory.whiskerRight

Modification history