Tensor power (source code)

= Tensor power
{title2=$V^{\otimes n}$}

The nth tensor power is the iterated <tensor product of modules> $V^{\otimes n}=V\otimes\cdots\otimes V$.