Prove the shortest unsigned depth-three chain connector in every characteristic (3m; 4m at c ≡ -1 for m ≤ 4; no new κ) - #4249

Prove the shortest unsigned depth-three chain connector in every characteristic (3m; 4m at c ≡ -1 for m ≤ 4; no new κ)#4249

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w9-1020d-depth3-chain-connectorpetalas/integer-mult-bounds:research/w9-1020d-depth3-chain-connectorCopy head branch name to clipboard