UniMath/UniMath — pull request #28 by benediktahrens (2014-07-21 12:52:17+00:00)
Title: 3 lemmas for precategories

only changes RC/precategories