Verify five rank-four BIT terminals and their fixed-controller cost bound - #4021

Verify five rank-four BIT terminals and their fixed-controller cost bound#4021

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

RossRichardson:research/publish-bit-five-terminals-20261019T0916ZRossRichardson/integer-mult-bounds:research/publish-bit-five-terminals-20261019T0916ZCopy head branch name to clipboard