 data-isabs="false" visbl="pub"><a id="depTarget(xs:provingground.HoTT.Func[O,provingground.HoTT.Typ[IdIterPtnMap.this.Cod]]):provingground.HoTT.Func[O,provingground.HoTT.Typ[IdIterPtnMap.this.Cod]]"></a><a id="depTarget(Func[O,Typ[Cod]]):Func[O,Typ[Cod]]"></a> <span class="permalink"><a href="../../provingground/induction/IterFuncPtnMap$$IdIterPtnMap.html#depTarget(xs:provingground.HoTT.Func[O,provingground.HoTT.Typ[IdIterPtnMap.this.Cod]]):provingground.HoTT.Func[O,provingground.HoTT.Typ[IdIterPtnMap.this