Independently check #4270's conservative κ = 1/580 exponent chain: every link holds (no new κ) - #4332

Independently check #4270's conservative κ = 1/580 exponent chain: every link holds (no new κ)#4332

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:pr4270-outer-exponent-checkpinterbanget/integer-mult-bounds:pr4270-outer-exponent-checkCopy head branch name to clipboard