Skip to content

Formalise Erdos Problem 12 #40

Closed
#579
Closed
Formalise Erdos Problem 12#40
#579
Assignees
Paul-Lez
Labels
erdos-problemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`
@Paul-Lez

Description

@Paul-Lez
Paul-Lez
opened on May 27, 2025
No description provided.

Metadata

Metadata

Assignees

Labels

erdos-problemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions