roths_theorem (316B)
1 # Roths theorem 2 3 https://en.wikipedia.org/wiki/Roth%27s_theorem_on_arithmetic_progressions 4 5 [szemeredis_theorem] for [arithmetic_progressions] of length 3 6 7 connection to [triangles] and [graph_removal_lemma] 8 9 Also [salem_spencer_set] for a set without [arithmetic_progression] of length 3 10 11 Up: [szemeredis_theorem]