Chang theorem (source code)

= Chang theorem
{c}

Chang's theorem says that $\operatorname{Spec}_\rho(1_A)$ is contained in the span of a <dissociated set> of size $O(\rho^{-2}\log(\alpha^{-1}))$.