Research audit: tighter Gaussian correction-power endpoint bound (no new kappa) - #902

Research audit: tighter Gaussian correction-power endpoint bound (no new kappa)#902

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

bg-grillo-alan:codex/gaussian-endpoint-potential-auditbg-grillo-alan/integer-mult-bounds:codex/gaussian-endpoint-potential-auditCopy head branch name to clipboard