Sharpen principal-window residual bound to 83/234 (no new κ) - #5119

Sharpen principal-window residual bound to 83/234 (no new κ)#5119

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w10-1022p-diagonal-wienerpetalas/integer-mult-bounds:research/w10-1022p-diagonal-wienerCopy head branch name to clipboard