HoTT/HoTT — pull request #183 by SkySkimmer (2013-08-19 17:27:48+00:00)
Title: minus1Trunc_ind: eliminator for minus1Trunc when target type is hprop

Because I keep using this.