Dual representation (source code)

= Dual representation
{wiki}

For a representation on $V$, the dual action on $V^*$ is $(g\varphi)(v)=\varphi(g^{-1}v)$.