Skip to content

Prove consecutive paired-star words need thin rank at least g q. - #7005

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/g31-q26-consecutive-rank-5ef3
Open

unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/g31-q26-consecutive-rank-5ef3

Commits

  1. Commits on Nov 10, 2026