Curvature of a tensor product connection (source code)

= Curvature of a tensor product connection

The curvature of a <tensor product connection> is
$$
F_{E\otimes F}=F_E\otimes I+I\otimes F_F.
$$
For <line bundle>[line bundles], this is simply $F_{E\otimes F}=F_E+F_F$.