Prove the exact bounded-degree polynomial cost law and moments (no κ) - #6563

Prove the exact bounded-degree polynomial cost law and moments (no κ)#6563

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w11-1102g-support-obstructionpetalas/integer-mult-bounds:research/w11-1102g-support-obstructionCopy head branch name to clipboard