Prove the all-height source floor K/N > 3.054 for selected nested widths - #5318

Prove the all-height source floor K/N > 3.054 for selected nested widths#5318

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/five-pr-02aliromman/integer-mult-bounds:codex/five-pr-02Copy head branch name to clipboard