400 constructive theorems for changed-contract κ improvements - #2871

400 constructive theorems for changed-contract κ improvements#2871

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Dugongue:kapperDugongue/integer-mult-bounds:kapperCopy head branch name to clipboard