HoTT/HoTT — pull request #278 by JasonGross (2013-12-08 23:15:15+00:00)
Title: Prove some lemmas about transporting path_sigma

Also clean up the corresponding lemmas about path_prod