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