Erdős problem 213
Let . Are there points in , no three on a line and no four on a circle, such that all pairwise distances are integers?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/213.leanTrue ↔ ∀ n ≥ 4, Erdos213.Erdos213For nOpenStatement only, no proof