Prove sharp zero-phase witness length 2n+2 for n=2 mod 4 (no κ) - #5902

Prove sharp zero-phase witness length 2n+2 for n=2 mod 4 (no κ)#5902

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w7-1022z-zero-phase-lengthpetalas/integer-mult-bounds:research/w7-1022z-zero-phase-lengthCopy head branch name to clipboard