Audit the 2^{-4p} amplification sentence in #4100. - #4371

Audit the 2^{-4p} amplification sentence in #4100.#4371

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

unpaidmoon:cursor/proof-explicit-4p-error-2af1unpaidmoon/integer-mult-bounds:cursor/proof-explicit-4p-error-2af1Copy head branch name to clipboard