nc</a>[<span name="provingground.induction.IterFuncShape.FuncShape.TT" class="extype">TT</span>, <span name="provingground.induction.IterFuncShape.FuncShape.mapper.TT" class="extype">TT</span>], <a href="../HoTT$$FuncLike.html" name="provingground.HoTT.FuncLike" id="provingground.HoTT.FuncLike" class="extype">FuncLike</a>[<span name="provingground.induction.IterFuncShape.FuncShape.TT" class="extype">TT</span>, <span name="provingground.induction.IterFuncShape.FuncShape.mapper.DT" class="extype">DT</span>]] 