Erdős problem 141

Let $k≥3$ . Are there $k$ consecutive primes in arithmetic progression?

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

141.lean

Retained formal statement6 of 7

There are 3 consecutive primes in arithmetic progression.

FormalConjectures/ErdosProblems/141.leanErdos141.exists_three_consecutive_primes_in_ap1 lineExact file

1∃ s, Erdos141.Set.IsAPAndPrimeProgressionOfLength s 3

TestStatement only, no proof