Skip to content

Problem

erdos:36

Erdos36.M 5 = 3

Declared status
open
Formalization
formalized
OEIS
A393584 · possible

minimum overlap problem

Matching claims

0
No direct claims
This problem has no directly related claim record.