Skip to content

Formalise Erdos Problem 416 #43

Closed
#352
Closed
Formalise Erdos Problem 416#43
#352
Assignees
Paul-Lez
Labels
erdos-problemsErdős Problemsnew conjectureIssues about open conjectures/unsolved problems problem. Category `research open`
Milestone
All open Erdős problems formalized
@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

Relationships

None yet

Development

No branches or pull requests

Issue actions