Prove the two-relation rank bound at arbitrary helper width (no new κ) - #6777

Prove the two-relation rank bound at arbitrary helper width (no new κ)#6777

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/20261106d-two-relation-any-registersCubeJerry/integer-mult-bounds:research/20261106d-two-relation-any-registersCopy head branch name to clipboard