Prove the sharp zero-primary cap spectrum at every idempotent rank - #6768

Prove the sharp zero-primary cap spectrum at every idempotent rank#6768

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/20261106-capped-shared-block-spectrumCubeJerry/integer-mult-bounds:research/20261106-capped-shared-block-spectrumCopy head branch name to clipboard