Erdős problem 1197
No written statement is retained for this problem.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Proof manifests naming this Problem
- Jayyhk Erdős Lean
jayyhk:erdos:1197 - PLBY Lean proofs
ErdosProblems.Erdos1197
Reported activity
Reported by these sources. Not reviewed here.
AI building on literature
- Machine
construction
- Machine
- Reported outcome