HoTT/book — pull request #712 by jledent (2014-09-19 16:41:19+00:00)
Title: Change the induction principle of V

This is the fix proposed in issue #699, @spitters and I checked that it is sufficient to prove the rest of the section.