Documentation

LeanPool.PFR

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