lass="extype">IDF</span>, <span name="provingground.induction.IndexedIterFuncShape.mapped.IDFT" class="extype">IDFT</span>]</span>)</span><span class="result">: <a href="IndexedIterFuncPtnMap.html" name="provingground.induction.IndexedIterFuncPtnMap" id="provingground.induction.IndexedIterFuncPtnMap" class="extype">IndexedIterFuncPtnMap</a>[<span name="provingground.induction.IndexedIterFuncShape.FuncShape.H" class="extype">H</span>, <span name="provingground.induction.IndexedIterFuncShape.FuncShape.Fb" cla