UniMath/UniMath — pull request #25 by benediktahrens (2014-07-05 16:56:01+00:00)
Title: composition with iso is weq

tiny addition about composition with isos