Erdős problem 219

Are there arbitrarily long arithmetic progressions of primes? Solution: yes. Ref: Green, Ben and Tao, Terence, _The primes contain arbitrarily long arithmetic progressions_

Sources

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

219.lean

Retained formal statement3 of 6

FormalConjectures/ErdosProblems/219.leanErdos219.not_primeArithmeticProgression_1_21 lineExact file

1{1, 2} ∉ Erdos219.primeArithmeticProgressions

TestStatement only, no proof