Certify finite descent from source-floor corrected coefficients - #22

Certify finite descent from source-floor corrected coefficients#22

Chessing234 merged 2 commits into

mainChessing234/collatz:mainfrom

research/floor-product-descentChessing234/collatz:research/floor-product-descentCopy head branch name to clipboard