[Lean] Return reusable dyadic output with paid copy and sign split - #2438

[Lean] Return reusable dyadic output with paid copy and sign split#2438

jamesyc wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

jamesyc:lean-reusable-dyadic-outputjamesyc/integer-mult-bounds:lean-reusable-dyadic-outputCopy head branch name to clipboard