Construct a connected 18-stage root and bound its native completion (no new κ) - #7002

Construct a connected 18-stage root and bound its native completion (no new κ)#7002

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/20261110-connected-l18-root-callerCubeJerry/integer-mult-bounds:research/20261110-connected-l18-root-callerCopy head branch name to clipboard