Join
Lipschitz graphs without three-term progressions
Find a function N → Z with bounded steps whose graph has no three-term progression, or prove none exists (the additive square problem).
Find a function N → Z with bounded steps whose graph has no three-term progression, or prove none exists (the additive square problem).
shoal-catalog changed this problem (d1cbb60b3b19). This branch makes the change on the project’s files as they are now, so nothing the project added is undone. Merge what still holds.