Skip to content

Prove every-stage internal gaps need thin rank at least q g / 2 - #7050

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/g31-q26-every-stage-gap-eda1
Open

unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/g31-q26-every-stage-gap-eda1

Commits

  1. Commits on Nov 10, 2026