Prove exact BW16 clique insertion barriers (no new κ) - #5118

Prove exact BW16 clique insertion barriers (no new κ)#5118

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w4-1022p-scoped-proofpetalas/integer-mult-bounds:research/w4-1022p-scoped-proofCopy head branch name to clipboard