HoTT/book — pull request #457 by cangiuli (2013-08-23 03:21:06+00:00)
Title: Fix proof of Corollary 4.3.3, closing #449

Closes #449.