(quote **,Monoid,Monoid)

M ** N -- tensor product of monoids.

For complete documentation, see tensor.

topindexpreviousupnext