HoTT/HoTT — pull request #209 by JasonGross (2013-09-15 04:03:54+00:00)
Title: Add projT1_path_sigma_uncurried

This way, the theorems match the structure of `path_sigma{,_uncurried}`.