Core-row operator lift: HALO's tensor bound needs no off-core polynomial estimate (answers #4515; no new κ) - #4517

Core-row operator lift: HALO's tensor bound needs no off-core polynomial estimate (answers #4515; no new κ)#4517

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:core-row-operator-liftpinterbanget/integer-mult-bounds:core-row-operator-liftCopy head branch name to clipboard