Prove the exact finite-width slice-call/addition tradeoff (no new κ) - #5178

Prove the exact finite-width slice-call/addition tradeoff (no new κ)#5178

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w9-1022r-width-mixing-tradeoffpetalas/integer-mult-bounds:research/w9-1022r-width-mixing-tradeoffCopy head branch name to clipboard