Now you are in the subtree of Container for Linear Algebra private tree. 

The standard inner product on R^n (or C^n) distributes over addition.

Created over 8 years ago