HoTT/book — pull request #337 by rpglover64 (2013-06-28 18:08:03+00:00)
Title: Typo in the proof of theorem 2.6.4

The second `transport^A` should be a `transport^B`.