Mode-fiber rounding radius R ≤ 3/2 via a balancing lemma (no κ) - #6333

Mode-fiber rounding radius R ≤ 3/2 via a balancing lemma (no κ)#6333

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

apoursh:research/mode-fiber-radius-three-halvesapoursh/integer-mult-bounds:research/mode-fiber-radius-three-halvesCopy head branch name to clipboard