Fix a couple of typos in the definition of OpenAssum(z,d) in the arithmetization section#418

rzach merged 2 commits intoOpenLogicProject:masterOpenLogicProject/OpenLogic:masterfrom

beastaugh:inc-fixesbeastaugh/OpenLogic:inc-fixesCopy head branch name to clipboard