Fill polynomial evaluation norm step in Chapter 06#137

heathsanchez wants to merge 1 commit into

mo271:mainmo271/FormalBook:mainfrom

heathsanchez:fix-chapter06-polynomial-eval-norm-stepheathsanchez/FormalBook:fix-chapter06-polynomial-eval-norm-stepCopy head branch name to clipboard