HoTT/book — pull request #683 by jledent (2014-06-19 13:33:37+00:00)
Title: Renaming of the variables in 10.5.8.(viii) to be coherent with the notat...

...ions in the proof