Reduce signed Hadamard lowering from 222 to 208 primitives (no new κ) - #5945

Reduce signed Hadamard lowering from 222 to 208 primitives (no new κ)#5945

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

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