Unobjectionable rewrite rules for saturated arithmetic#1777

JasonGross wants to merge 1 commit into

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

JasonGross:more-rewrite-simpleJasonGross/fiat-crypto:more-rewrite-simpleCopy head branch name to clipboard