Audit #6114's controller income bound: theorem holds, two proof gaps closed, 'only escape' scope corrected (no new κ) - #6120

Audit #6114's controller income bound: theorem holds, two proof gaps closed, 'only escape' scope corrected (no new κ)#6120

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:s46-audit-pr6114-incomeJosieElliston/integer-mult-bounds:s46-audit-pr6114-incomeCopy head branch name to clipboard