HoTT/book — pull request #468 by mikeshulman (2013-09-13 23:07:52+00:00)
Title: Theorem4.4.3

close #450