HoTT/book — pull request #458 by cangiuli (2013-08-23 04:54:55+00:00)
Title: Fix Lemma 4.7.3, closing #451.

Lots of corrections to the proof. Closes #451.