Erdős problem 189
If is finitely coloured then must there exist some colour class which contains the vertices of a rectangle of every area?
Workspace
public preview
- #189
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine