default to magnitude 8->1 in Dettman multiplication#1630

andres-erbsen wants to merge 1 commit into

mit-plv:mastermit-plv/fiat-crypto:masterfrom

andres-erbsen:dettman-magnitude-8andres-erbsen/fiat-crypto:dettman-magnitude-8Copy head branch name to clipboard