Tensor product connection (source code)

= Tensor product connection
{title2=$\nabla^E\otimes\nabla^F$}

Connections on $E$ and $F$ induce the connection on $E\otimes F$ determined by
$$
\nabla(s\otimes t)=(\nabla^Es)\otimes t+s\otimes(\nabla^Ft).
$$
In tensor-product local frames its connection matrix is $A_E\otimes I+I\otimes A_F$.