Research: no two-target UT4 word has n_b=7 with middle ranks (2,2) (n_b=7 open; no new kappa) - #3938

Research: no two-target UT4 word has n_b=7 with middle ranks (2,2) (n_b=7 open; no new kappa)#3938

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/ut4-nb7-middle-ranks-22-60b9VictorLiwentao/integer-mult-bounds:cursor/ut4-nb7-middle-ranks-22-60b9Copy head branch name to clipboard