/span>]</span></span><p class="shortcomment cmt">induced function is the given one.</p><div class="fullcomment"><div class="comment cmt"><p>induced function is the given one.</p></div><dl class="paramcmts block"><dt class="param">f</dt><dd class="cmt"><p>function from which to induce</p></dd></dl><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.induction.IterFuncPtnMap.IdIterPtnMap" id="provingground.induction.IterFuncPtnMap.IdIterPtnMap" class="extype">IdIterPtnMap