id="provingground.andrewscurtis.FreeGroups.Word" class="extype">Word</a>], <a href="../scalahott/QField$$PosWit.html" name="provingground.scalahott.QField.PosWit" id="provingground.scalahott.QField.PosWit" class="extype">PosWit</a>]]</span></span></li><li class="indented0 " name="provingground.library.PolymathProof#w" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="w:provingground.scalahott.RepTerm[provingground.andrewscurtis.FreeGroups.Word]"></a><a id="w:RepTerm[Word]"></a> <span 