.StrategicProvers.SeekResult" id="provingground.learning.StrategicProvers.SeekResult" class="extmbr">SeekResult</a></span></span></li><li class="indented0 " name="provingground.learning.ParStrategicProvers#polySolveTyp" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="polySolveTyp(typ:provingground.HoTT.Typ[provingground.HoTT.Term],initState:provingground.learning.ParMapState,tg:provingground.learning.TermGenParams,cutoffs:List[Double],terms:Set[provingground.HoTT.Term]):provinggroun