HoTT/book — pull request #352 by ecavallo (2013-07-01 18:38:10+00:00)
Title: typo in proof of Definition 8.6.5

path needed to be inverted