PFR conjecture formalization (Lean) — The Number Path
Node
PFR conjecture formalization (Lean) (Theorem) in The Number Path. Era: 2024. Formula: PFR: structure of approximate subgroups. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.