sync
Merge branch 'master' of https://github.com/HoTT/HoTT
Sync
Merge branch 'master' of https://github.com/HoTT/HoTT
sync
Merge branch 'master' of https://github.com/HoTT/HoTT
Added some lemmas.
Merge pull request #128 from kristinas/master

Added lemmas on equivalences: [other_adj], [equiv_ap_l].