Prove a restored partial Y-exit round trip does not lower the paid moment (no κ) - #7102

Prove a restored partial Y-exit round trip does not lower the paid moment (no κ)#7102

unpaidmoon wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

unpaidmoon:cursor/y-exit-partial-round-trip-70acunpaidmoon/integer-mult-bounds:cursor/y-exit-partial-round-trip-70acCopy head branch name to clipboard