Def ModuleCat.MonoidalCategory.tensorHom

Modification history