Prove multiplicative floor-error budgets at arbitrary odd counts - #18

Prove multiplicative floor-error budgets at arbitrary odd counts#18

Chessing234 merged 5 commits into

mainChessing234/collatz:mainfrom

research/floor-product-errorChessing234/collatz:research/floor-product-errorCopy head branch name to clipboard