HoTT/book — pull request #344 by Rotsor (2013-06-29 22:57:00+00:00)
Title: Fixed an error in Lemma 11.4.1 definition

I'm not sure I fixed it right, but it was utter nonsense before. At worst the premise is now trivially true instead of trivially false.