next | previous | forward | backward | up | top | index | toc | home

Monoid ** Monoid -- tensor product of monoids

Synopsis

Operator: **

Description

M ** N -- tensor product of monoids.

For complete documentation, see tensor.