Minor corrections in Chapters 2--7#322

darijgr wants to merge 20 commits intoavigad:masteravigad/mathematics_in_lean_source:masterfrom

darijgr:masterdarijgr/mathematics_in_lean_source:masterCopy head branch name to clipboard