Tensor product of linear maps (source code)

= Tensor product of linear maps

The <tensor product> of linear maps is determined by $(A\otimes B)(x\otimes y)=Ax\otimes By$ and linear extension.