Remove empty-root credits from the paired BIT supplier at 0.00385248 (no new κ) - #7001

Remove empty-root credits from the paired BIT supplier at 0.00385248 (no new κ)#7001

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/20261110-paired-query-only-bitCubeJerry/integer-mult-bounds:research/20261110-paired-query-only-bitCopy head branch name to clipboard