HoTT/book — pull request #471 by mikeshulman (2013-09-14 04:52:23+00:00)
Title: Fix proof of Theorem 2.11.1, close #461

Along the way I realized that the proof of 4.7.1 (2-out-of-3) could use a bit more detail.