Freiman-Ruzsa theorem over a finite field (source code)

= Freiman-Ruzsa theorem over a finite field
{c}

If $A\subseteq\mathbb F_p^n$ and $|A+A|\leq K|A|$, then $A$ is contained in a <vector subspace> $H$ satisfying
$$
|H|\leq K^2p^{K^4}|A|.
$$