HoTT/book — pull request #669 by KevinQuirin (2014-04-16 09:09:55+00:00)
Title: Fix proof of theorem 7.7.4

Add a word on equality of transport paths in the proof of theorem 7.7.4