Fill two local arithmetic steps in Chapter 03#138

heathsanchez wants to merge 1 commit into

mo271:mainmo271/FormalBook:mainfrom

heathsanchez:fix-chapter03-local-arithmetic-omegaheathsanchez/FormalBook:fix-chapter03-local-arithmetic-omegaCopy head branch name to clipboard