Independent verification (no κ): arithmetic layer of PR3562's ordinary-rate theorem holds; line-158 exposition gap, 4283584 stands - #3724

Independent verification (no κ): arithmetic layer of PR3562's ordinary-rate theorem holds; line-158 exposition gap, 4283584 stands#3724

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

thakrarsagar:loop/i23-pr3562-reproof-auditthakrarsagar/integer-mult-bounds:loop/i23-pr3562-reproof-auditCopy head branch name to clipboard