HoTT/book — pull request #509 by mikeshulman (2013-11-06 01:07:58+00:00)
Title: Lemma2.1.2

Fix #506