HoTT/book — pull request #630 by xcycl (2014-02-10 03:40:57+00:00)
Title: fixed a typo in Chapter 2

... a identity ... => ... an identity ...