Prove additive-frame requirements for unchanged scalar gates (no new κ) - #4983

Prove additive-frame requirements for unchanged scalar gates (no new κ)#4983

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

1337isnot1337:research/continuous-202610231337isnot1337/integer-mult-bounds:research/continuous-20261023Copy head branch name to clipboard