Def CategoryTheory.MonoidalCategory.tensoringRight

Modification history