Erdős problem 1197
Erdős problem 1197
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
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI building on literature
- Machine
construction
- Machine
- Reported outcome