HoTT/HoTT — pull request #218 by JasonGross (2013-09-27 13:05:54+00:00)
Title: Define some variants of transport_path_prod

It's a reduction rule for transport across path_prod.