p-biased Fourier coefficient (source code)

= p-biased Fourier coefficient
{title2=$\widehat f_p(S)$}

The $p$-biased Fourier coefficient of $f$ at $S$ is $\widehat f_p(S)=\mathbb E_{\mu_p}[f\phi_S]$.