UniMath/UniMath — pull request #42 by benediktahrens (2014-11-01 16:21:49+00:00)
Title: re-implement lemmas to avoid copyright issues, change name of the file containing those lemmas

some lemmas had been ported from HoTT library, and as I am not sure how that counts as copying in the sense of copyright, I reimplemented them.