="extype">TF</span>, <span name="provingground.induction.IndexedIterFuncShape.FuncShape.H" class="extype">H</span>, <span name="provingground.induction.IndexedIterFuncShape.FuncShape.Fb" class="extype">Fb</span>, <span name="provingground.induction.IndexedIterFuncShape.FuncShape.Index" class="extype">Index</span>]]</h3></div></div><div id="groupedMembers"><div name="Ungrouped" class="group"><h3>Ungrouped</h3></div></div></div><div id="tooltip"></div><div id="footer"></div></body></div></div></div></body></h