cala.concurrent.ExecutionContext):scala.concurrent.Future[Set[provingground.learning.Equation]]"></a><a id="groupFuture(Set[EquationNode])(ExecutionContext):Future[Set[Equation]]"></a> <span class="permalink"><a href="../../provingground/learning/EquationOps$.html#groupFuture(ts:Set[provingground.learning.EquationNode])(implicitec:scala.concurrent.ExecutionContext):scala.concurrent.Future[Set[provingground.learning.Equation]]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modif