Research: no two-target UT4 central word has n_b=6 (n_b=7 open; no new kappa) - #3887

Research: no two-target UT4 central word has n_b=6 (n_b=7 open; no new kappa)#3887

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/ut4-two-target-no-nb6-60b9VictorLiwentao/integer-mult-bounds:cursor/ut4-two-target-no-nb6-60b9Copy head branch name to clipboard