Erdős problem / erdos
no open offerProblem 785
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_5e456f0419e5d6af
theoretical
Erdős Problem #785: declared status 'proved'. Formalized: no. Prize: no. Tags: additive combinatorics.
recordedOpen record