Negative result: A4 four-role target diag([a],[b],[c],[d]) has exact minimum 8 (no seven-call word; radical-rank proof); no kappa - #4032

Negative result: A4 four-role target diag([a],[b],[c],[d]) has exact minimum 8 (no seven-call word; radical-rank proof); no kappa#4032

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

thakrarsagar:loop44d3/i11-a4-seven-callthakrarsagar/integer-mult-bounds:loop44d3/i11-a4-seven-callCopy head branch name to clipboard