Prove quasipolynomial bound for chronological batch widths (no new κ) - #4586

Prove quasipolynomial bound for chronological batch widths (no new κ)#4586

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

mihir-s-05:research/batch-width-bound-20261022mihir-s-05/integer-mult-bounds:research/batch-width-bound-20261022Copy head branch name to clipboard