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