Prove sharp cost 40 for Eisenstein binary decoders - #2017

Prove sharp cost 40 for Eisenstein binary decoders#2017

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

jmbarrancoml:research/eisenstein-reduction-copy-floorjmbarrancoml/integer-mult-bounds:research/eisenstein-reduction-copy-floorCopy head branch name to clipboard