Def CategoryTheory.MonoidalCategory.tensorRight

Modification history