1. Additive combinatorics
This page explains how to express common concepts in additive combinatorics using the definitions in Mathlib and AddCombi. We assume basic knowledge of both Lean and additive combinatorics.
This page explains how to express common concepts in additive combinatorics using the definitions in Mathlib and AddCombi. We assume basic knowledge of both Lean and additive combinatorics.