d.learning.Equation" class="extype">Equation</a>]</span></span></li><li class="indented0 " name="provingground.learning.EquationOps#groupMap" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="groupMap(ts:Set[provingground.learning.EquationNode],previous:scala.collection.parallel.immutable.ParMap[provingground.learning.Expression,provingground.learning.EquationNode]):scala.collection.parallel.immutable.ParMap[provingground.learning.Expression,provingground.learning.Equation]"></a><a id