Research: UT3(F4) dependent central triple has exact minimum 12 (closes #2261 three-output question; no new kappa) - #3774

Research: UT3(F4) dependent central triple has exact minimum 12 (closes #2261 three-output question; no new kappa)#3774

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/ut3-f4-dependent-triple-60b9VictorLiwentao/integer-mult-bounds:cursor/ut3-f4-dependent-triple-60b9Copy head branch name to clipboard