Prove rank factor 1 for every-stage paired-star gaps and raise the thin-rank bound to 2q⌈g/3⌉ (no κ) - #7126

Prove rank factor 1 for every-stage paired-star gaps and raise the thin-rank bound to 2q⌈g/3⌉ (no κ)#7126

petalas wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w2-1110a-every-stage-rank-factorpetalas/integer-mult-bounds:research/w2-1110a-every-stage-rank-factorCopy head branch name to clipboard