Prove the sharp P112 common-six direction bound and a literal caller - #3322

Prove the sharp P112 common-six direction bound and a literal caller#3322

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w1-batch7-20261017-2a5ffe67petalas/integer-mult-bounds:research/w1-batch7-20261017-2a5ffe67Copy head branch name to clipboard