Prove dirty-private identity for PR2979's isolated cleanup - #3245

Prove dirty-private identity for PR2979's isolated cleanup#3245

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/20261017-worker-5-cleanup-entrancepetalas/integer-mult-bounds:research/20261017-worker-5-cleanup-entranceCopy head branch name to clipboard