HoTT/HoTT — pull request #519 by marcbezem (2014-09-19 20:12:35+00:00)
Title: Exercises 3.6 and 3.7

Question: why didn't I have to mention the use of Funext ?