Independent proof check of #4532 §1.1, §2.2-2.3, §3 (critical-root majorant under #4535's κ): every step verified, no gap (no new κ) - #4569

Independent proof check of #4532 §1.1, §2.2-2.3, §3 (critical-root majorant under #4535's κ): every step verified, no gap (no new κ)#4569

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:pr4532-proof-checkpinterbanget/integer-mult-bounds:pr4532-proof-checkCopy head branch name to clipboard