HoTT/book — pull request #695 by kirelagin (2014-07-13 08:08:54+00:00)
Title: Fix typo

Makes it way easier to read the sentence.