In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special case to the following (conjectural, to me) isomorphism $$ \operatorname{Sym}^k V \cong \left[\bigwedge^k (\mathbb C^k \otimes V)\right]^{SL(k)} $$ Here $k$ is a positive integer, $\mathbb C^k$ is the standard representation of $SL(k)$, and on the right I am taking invariants of the induced action, $V$ is any $\mathbb C$ vector space (in our case $V$ has dimension three, but I am guessing that is not important).
I think that the map might be something like $$ v_1 \otimes \cdots \otimes v_k \mapsto \sum_{\sigma \in S_k} \operatorname{sgn}(\sigma)(e_{\sigma(1)} \otimes v_1)\wedge \cdots \wedge (e_{\sigma(k)} \otimes v_k) $$ (Here $e_j$ is a basis for $\mathbb C^k$, and $S_k$ is the symmetric group.)
I can at least check that the right hand side is invariant, (carefully for $k=2$, and it seems good for bigger $k$ also).
It seems like this might be a standard result (if it is true), but I don't know enough about the subject to know where to look. Can anyone point me in the right direction?