Erdős problem 716
No written statement is retained for this problem.
Erdős Problems records this as proved (Lean).
No Repository has ruled on it here.
How far the record reaches2 of 6 stages
- Sourceerdos-problems
- StatementNot retained
- FormalNone associated
- Resolutionproved (Lean)
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingStatement
No source retained here has filed the text of this question.
The wording is the source's to file.
Where the source files it285 share a topic
None carries a Standing. Browse the topic.