Three-total root-unit decoders: reductions, a sharp example and the remaining lift question (no κ claim) - #2111

Three-total root-unit decoders: reductions, a sharp example and the remaining lift question (no κ claim)#2111

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/three-total-decodersDreamingOfClouds/integer-mult-bounds:research/three-total-decodersCopy head branch name to clipboard