Prove the pure dual-pair retirement criterion and its unit-divisor count (no κ) - #6827

Prove the pure dual-pair retirement criterion and its unit-divisor count (no κ)#6827

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/p104-dual-pair-retirement-criterionDreamingOfClouds/integer-mult-bounds:research/p104-dual-pair-retirement-criterionCopy head branch name to clipboard