Skip to content

Make the 246 bounded-prime-gap theorem unconditional - #11

Open
kimihiro64 wants to merge 2 commits into
AxiomMath:mainfrom
kimihiro64:integrate-bombieri-vinogradov
Open

kimihiro64 wants to merge 2 commits into
AxiomMath:mainfrom
kimihiro64:integrate-bombieri-vinogradov

Commits

Commits on Sep 5, 2026