/pfr

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Primary LanguageLean

No issues in this repository yet.