Vector space/Tensor product/Rules/Fact/Proof

Proof

(1) follows immediately from the construction. (2) follows from (1). (3) follows from the distributive law for multilinear mappings.

To fact