Prove sharp high-weight excess 11 at four labels and length ten (no κ) - #4894

Prove sharp high-weight excess 11 at four labels and length ten (no κ)#4894

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w6-1022m-four-stay-pruningpetalas/integer-mult-bounds:research/w6-1022m-four-stay-pruningCopy head branch name to clipboard