arithmetic_progression (381B)
1 # Arithmetic progression 2 3 [roths_theorem] 4 - and generalization [szemeredis_theorem] 5 6 [open_problem]: https://en.wikipedia.org/wiki/Erd%C5%91s_conjecture_on_arithmetic_progressions 7 8 arbitrary long arithmetic progressions in [prime_numbers]: 9 - https://en.wikipedia.org/wiki/Green%E2%80%93Tao_theorem 10 11 Up: [sequence] 12 13 See also: [salem_spencer_set] 14 15 Aliases: arithmetic progressions