Independent verification: exact enclosure of the pivot-566+554 T74 complex root behind the top pending kappa claims (no new kappa) - #1982

Independent verification: exact enclosure of the pivot-566+554 T74 complex root behind the top pending kappa claims (no new kappa)#1982

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-34-independent-moment-9dd43e38navinor/integer-mult-bounds:research/agent-34-independent-moment-9dd43e38Copy head branch name to clipboard