OP-00987 Open The polynomial Bogolyubov conjecture over F_2^n CO · Bogolyubov's lemma · finite field model · polynomial Freiman–Ruzsa conjecture · sumsets