HoTT/HoTT — pull request #25 by benediktahrens (2012-10-18 23:31:52+00:00)
Title: removed detour in path construction

removing detour in construction of inverse_triangle