HoTT/HoTT — pull request #512 by marcbezem (2014-09-17 09:08:21+00:00)
Title: Exercises 3.4 and 3.5

If there is a shorter solution to 3.4, then I'd like to know (and will add/substitute).