HoTT/book — pull request #483 by TimRichter (2013-10-11 16:07:32+00:00)
Title: be more specific in the definition of the equivalences relating ap_f and apd_f

This might be nitpicking, but the current wording here is incorrect: For 2.3.7 one has to concatenate with
the *inverse* of transconst B p {f(x)}. I don't see how this could be an instance of transconst B p b with a
suitable b.

The change would make Exercise 2.5 a special case of Ex. 2.6.