Add a section on dual spaces, prove that the space of multilinear forms is isomorphic to the dual space of the tensor product
Prove that, when considered as a binary operations on vector spaces, the tensor product is associative, commutative