an name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.C" class="extype">C</span>]</span></span></li><li class="indented0 " name="provingground.induction.IterFuncPtnMap.IdIterPtnMap#iterFuncTyp" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="iterFuncTyp(w:IdIterPtnMap.this.FamilyType,x:provingground.HoTT.Typ[IdIterPtnMap.this.Cod]):provingground.HoTT.Typ[IdIterPtnMap.this.IterFunc]"></a><a id="iterFuncTyp(FamilyType,Typ[Cod]):Typ[IterFunc]"></a> <span class="permalink"><a hre