Formula_7038

\[\int t_{\xi_{1} \eta_{1}}^{T_{1}}(g) \overline{t_{\xi_{2} \eta_{2}}^{T_{2}}(g)} d g=\frac{1}{\operatorname{dim} T_{1}} \delta_{T_{1} T_{2}}\left\langle\xi_{1} \mid \xi_{2}\right\rangle \overline{\left\langle\eta_{1} \mid \eta_{2}\right\rangle}\]