y[provingground.HoTT.Func[Dom,Iter],provingground.HoTT.PairTerm[Dom,Total],Cod]"></a><a id="funcCurry[Dom&lt;:TermwithSubs[Dom],Iter&lt;:TermwithSubs[Iter],Total&lt;:TermwithSubs[Total],Cod&lt;:TermwithSubs[Cod]](Curry[Iter,Total,Cod]):Curry[Func[Dom,Iter],PairTerm[Dom,Total],Cod]"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/Curry$.html#funcCurry[Dom&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[Dom],Iter&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[Iter]