Bound the depth-five chain connector: 8m at m = 2, 3, residue-dependent at m = 4, floor 5m for 9 ≤ m ≤ 20 (no new κ) - #4281

Bound the depth-five chain connector: 8m at m = 2, 3, residue-dependent at m = 4, floor 5m for 9 ≤ m ≤ 20 (no new κ)#4281

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w1-1020g-depth5-chainpetalas/integer-mult-bounds:research/w1-1020g-depth5-chainCopy head branch name to clipboard