P
Initializing...
Varnavides: positive density gives quadratically many progressions · Prove2Me