Orthogonal direct sum

Redirect to:

• Direct sum of modules#Direct sum of modules with bilinear forms