Skip to content

Erdős 625 #570

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Erdős 625 #570

wants to merge 1 commit into from

Conversation

mo271
Copy link
Collaborator

@mo271 mo271 commented Aug 13, 2025

No description provided.

@mo271 mo271 added the help wanted Extra attention is needed label Aug 13, 2025
@mo271
Copy link
Collaborator Author

mo271 commented Aug 13, 2025 •
edited
Loading

I'm a bit insecure about the way the theorem is formalized right now:

  • isn't there somewhere already the definition of such random graphs?
  • the two Tendsto's seem a bit hacky, with this selection of sets etc...
    Please let me know if you know how to improve the situation

@mo271 mo271 mentioned this pull request Sep 7, 2025
Merged
@mo271
Copy link
Collaborator Author

mo271 commented Sep 7, 2025

needs rebase/merge after #661

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Erdős Problems help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mo271