[Lean] Execute paid exponent widening and half-source addition - #2439

[Lean] Execute paid exponent widening and half-source addition#2439

jamesyc wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

jamesyc:lean-widened-source-dyadic-additionjamesyc/integer-mult-bounds:lean-widened-source-dyadic-additionCopy head branch name to clipboard