Formalize Exercise 1.1.6#427

teorth merged 2 commits intoteorth:mainteorth/analysis:mainfrom

soham1053:mainsoham1053/analysis:mainCopy head branch name to clipboard