The polynomial Freiman–Ruzsa conjecture #
Source: arxiv:2311.05762, url:https://github.com/teorth/pfr
Authors: PFR contributors
Status: verified
Main declarations: Marton.pfr_conjecture
Tags: additive-combinatorics, polynomial-freiman-ruzsa, entropy, approximate-homomorphisms
MSC: 11B30, 11P70, 20K01, 94A17