UniMath/UniMath — pull request #26 by benediktahrens (2014-07-05 18:51:45+00:00)
Title: added version of weqimplimpl to hProp

just another version for convenience, called logeqweq