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

Module + Module -- sum of submodules

Synopsis

Operator: +

Description

M + N -- the sum of two submodules.

The two modules should be submodules of the same module.