Prove QQ16 two-query recovery at a recorded first-pair cut - #2174

Prove QQ16 two-query recovery at a recorded first-pair cut#2174

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

commdata2338:qq16-two-query-kernelcommdata2338/integer-mult-bounds:qq16-two-query-kernelCopy head branch name to clipboard