Formalise Problem 4 from problemsilike.com #4094

Open

Assignees

Labels

opened

on May 27, 2026

What is the conjecture

See https://www.problemsilike.com/4

Happy to collaborate with other people on formalising this!

Metadata

Assignees

Paul-Lez

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests