Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is completemathstodon.xyz4 pointsnavidhg3 years ago