HoTT/book — pull request #476 by TimRichter (2013-10-05 20:59:55+00:00)
Title: Typo after Lemma 6.4.6

Obvious typo, entry in the errata list might not be necessary.