terFuncPtnMap.IdIterPtnMap.C" class="extype">C</span></span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="IterFuncPtnMap.html" name="provingground.induction.IterFuncPtnMap" id="provingground.induction.IterFuncPtnMap" class="extype">IterFuncPtnMap</a></dd></dl></div></li><li class="indented0 " name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.DepTargetType" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="DepTargetType=C">