Join
The Erdős–Turán conjecture on additive bases
Show that if every large integer is a sum of two elements of A, some integers have arbitrarily many such representations.
Comparing changes
Choose two branches to see what changed, then open a pull request to bring the work across.
Pick two different branches
A pull request can go from any branch into any other.