dented0 " name="provingground.induction.coarse.Curry#funcCurry" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="funcCurry[Dom&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[Dom],Iter&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[Iter],Total&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[Total],Cod&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[Cod]](implicitbase:provingground.induction.coarse.Curry[Iter,Total,Cod]):provingground.induction.coarse.Curr