Independent audit: #1560's zero-exclusion Theorem 1 / Corollary 2 and their use in #1616/#1650 (no gap; no new κ) - #1670

Independent audit: #1560's zero-exclusion Theorem 1 / Corollary 2 and their use in #1616/#1650 (no gap; no new κ)#1670

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/zero-exclusion-proof-auditJosieElliston/integer-mult-bounds:research/zero-exclusion-proof-auditCopy head branch name to clipboard