fix typo in Exercise 2.19, close #1177#1178

mikeshulman merged 1 commit into

HoTT:masterHoTT/book:masterfrom

mikeshulman:true-neq-falsemikeshulman/book:true-neq-falseCopy head branch name to clipboard