I am looking for a reference for the following assertion that I believe to be true.  All representations are assumed to be finite-dimensional.

> Let $G_1$ and $G_2$ be affine algebraic group schemes over a field $k$ such that every simple $G_2$-representation $V_2$ has endomorphism ring $\mathrm{End}_{G_2}(V_2) = k$.  Then for any two simple representations $V_1$ and $V_2$ of $G_1$ and $G_2$, respectivey,  $$V_1\otimes V_2$$ is a simple $G_1\times G_2$-representation. Moreover, any simple $G_1\times G_2$-representation is of this form.

The corresponding statements regarding complex representations of compact Lie groups are given as Lemmas 3.66 and 3.67 in Adams’ Lectures on Lie Groups, and may probably also be found in any other relevant textbook.   

For the given statement concerning affine algebraic groups, I believe to have a proof based on Jantzen, Representations of Algebraic Groups, 6.15 (2).  But I have not been able to locate the statement as such in the literature, which I find rather disconcerting.  Have I overlooked any additional assumptions I need to place on the groups and the representations?