Draft: Arithmetic Operations#28

clarus merged 1 commit intomainformal-land/coq-of-python:mainfrom

sanjay-adhith@arithmeticformal-land/coq-of-python:sanjay-adhith@arithmeticCopy head branch name to clipboard