MonoidElement

MonoidElement -- the class of all monoid elements.

See also monoid.

topindexpreviousupnext