Audit #4100's fine-prime interval step: Trudgian bound holds at epsilon = 1 - 1e-30 (no new κ) - #4356

Audit #4100's fine-prime interval step: Trudgian bound holds at epsilon = 1 - 1e-30 (no new κ)#4356

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Matarener:fine-prime-trudgian-auditMatarener/integer-mult-bounds:fine-prime-trudgian-auditCopy head branch name to clipboard