Skip to content

feat(ErdosProblems/741): solution for variants.upper#3778

Merged
mo271 merged 4 commits intomainfrom
erdos741_upper
Apr 24, 2026
Merged

feat(ErdosProblems/741): solution for variants.upper#3778
mo271 merged 4 commits intomainfrom
erdos741_upper

Conversation

@mo271
Copy link
Copy Markdown
Collaborator

@mo271 mo271 commented Apr 16, 2026

No description provided.

@github-actions github-actions Bot added the erdos-problems Erdős Problems label Apr 16, 2026
@mo271 mo271 added the solution found should be used when changing the status of a problem from `research open` to `research solved` label Apr 24, 2026
@mo271 mo271 enabled auto-merge (squash) April 24, 2026 10:29
@mo271 mo271 merged commit 35d48a8 into main Apr 24, 2026
6 checks passed
@mo271 mo271 deleted the erdos741_upper branch April 24, 2026 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

erdos-problems Erdős Problems solution found should be used when changing the status of a problem from `research open` to `research solved`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants