Erdős problem 1145
Let and be sets of integers with .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/1145.leanTrue ↔ Erdos1145.Erdos1145PropOpenStatement only, no proof