Certify #4100 BIT.md's recurrence moments: mu_(1-c) < 1 with margin 8.8e-8 (no new κ) - #4330

Certify #4100 BIT.md's recurrence moments: mu_(1-c) < 1 with margin 8.8e-8 (no new κ)#4330

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:pr4100-bit-moment-enclosurepinterbanget/integer-mult-bounds:pr4100-bit-moment-enclosureCopy head branch name to clipboard