HoTT/book — pull request #571 by marcbezem (2013-12-04 11:51:48+00:00)
Title: added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v

added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v