 <a href="../andrewscurtis/FreeGroups$$Word.html" name="provingground.andrewscurtis.FreeGroups.Word" id="provingground.andrewscurtis.FreeGroups.Word" class="extype">Word</a></span></span></li><li class="indented0 " name="provingground.scalahott.LinNormBound#bnd" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="bnd:provingground.scalahott.QField.LocalTermwithprovingground.HoTT.Subs[provingground.scalahott.QField.LocalTerm]"></a><a id="bnd:QField.LocalTermwithSubs[QField.LocalTerm]"><