Bound binary pattern cores and exclude the irreducible five-type saving (no new κ) - #6782

Bound binary pattern cores and exclude the irreducible five-type saving (no new κ)#6782

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/three-relation-core-20261106CubeJerry/integer-mult-bounds:research/three-relation-core-20261106Copy head branch name to clipboard