HoTT/book — pull request #469 by mikeshulman (2013-09-13 23:14:54+00:00)
Title: Theorem2.11.4

close #463