Skip to content

fix(OEIS/110854): quantify over A004275 per definition - #5232

Open
tadamcz wants to merge 2 commits into
google-deepmind:mainfrom
tadamcz:fix-oeis-110854
Open

fix(OEIS/110854): quantify over A004275 per definition#5232
tadamcz wants to merge 2 commits into
google-deepmind:mainfrom
tadamcz:fix-oeis-110854

Conversation

@tadamcz

@tadamcz tadamcz commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Quantify over A004275, instead of differences of two primes. I don't know why this was ever made the differences of two primes.

Fixes #5226

@github-actions github-actions Bot added the oeis Conjectures from oeis.org label Aug 31, 2026
@tadamcz
tadamcz marked this pull request as ready for review August 31, 2026 20:35
@tadamcz tadamcz changed the title fix(OEIS/110854): quantify over A004275, not prime differences fix(OEIS/110854): quantify over A004275 per definition, not prime differences Sep 1, 2026
@tadamcz tadamcz changed the title fix(OEIS/110854): quantify over A004275 per definition, not prime differences fix(OEIS/110854): quantify over A004275 per definition Sep 1, 2026

@codrut3 codrut3 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for fixing this!

@codrut3

codrut3 commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

CC @mo271 , this looks good to me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

oeis Conjectures from oeis.org

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Likely misformalization in OEIS/110854.lean

2 participants