Erdős problem 275
If a finite system of congruences (the are not necessarily distinct) covers consecutive integers then it covers all integers.
Workspace
public preview
- #275
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine