HoTT/HoTT — pull request #63 by mikeshulman (2013-02-05 20:47:13+00:00)
Title: Correct arguments to equiv_compose, and simplify equiv_Transitive.

The function arguments to equiv_compose should be explicit. This makes it unnecessary to break down the arguments to equiv_Transitive, so we can eliminate the auxiliary lemma.