HoTT/HoTT — pull request #541 by marcbezem (2014-09-30 08:36:45+00:00)
Title: Solution to Exc. 3.9

The first two lemmas could move to HProp.v.
When a standard reference to LEM becomes available, I will adapt to that.