HoTT/book — pull request #334 by rpglover64 (2013-06-28 17:47:48+00:00)
Title: Fix definition of \pairpath in section 2.6

In section 2.6, on page 77, after the proof, the type of \pairpath is given incorrectly, using pr_1 for both sides of the pair.