Erdős problem 199
If does not contain a 3-term arithmetic progression then must contain an infinite arithmetic progression?
Workspace
public preview
- #199
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine