Prove exact two-call cost for the tied width-two transform - #5222

Prove exact two-call cost for the tied width-two transform#5222

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JoyboyBrian:brian/r13-tied-width-two-transform-exact-call-costJoyboyBrian/integer-mult-bounds:brian/r13-tied-width-two-transform-exact-call-costCopy head branch name to clipboard