HoTT/book — pull request #687 by jledent (2014-06-20 09:48:17+00:00)
Title: Clarify the notations in 10.8.5.(viii)

I renamed some variables to have coherent notations between the theorem and its proof. Also included mikeshulman's remark about the class C in the proof.

(I deleted the other pull request because of some bad manipulation I couldn't fix, sorry about that I'm new to git)