Prove #4100 COMPLEX.md's stopped complex recursion meets O(V h^(1-q) polylog p) for every h under its node premises (no new κ) - #4965

Prove #4100 COMPLEX.md's stopped complex recursion meets O(V h^(1-q) polylog p) for every h under its node premises (no new κ)#4965

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JoyboyBrian:jb-complex-stopped-recursionJoyboyBrian/integer-mult-bounds:jb-complex-stopped-recursionCopy head branch name to clipboard