Independently check #4580's p3 H-branch budget (322/397) with own certified powers; note two rounded bracket endpoints (no new κ) - #4589

Independently check #4580's p3 H-branch budget (322/397) with own certified powers; note two rounded bracket endpoints (no new κ)#4589

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:check-4580pinterbanget/integer-mult-bounds:check-4580Copy head branch name to clipboard