cleaning up
Added some lemmas.
Merge pull request #125 from kristinas/master

Added some lemmas
Merge branch 'master' of https://github.com/HoTT/HoTT