Formula_8306

\[\left(A_{1} A_{2}\right)\left(a^{*}, a\right)=\int A_{1}\left(a^{*}, \alpha\right) A_{2}\left(\alpha^{*}, a\right) d \mu_{\alpha} .\]