Context" class="extype">ExecutionContext</span></span>)</span><span class="result">: <span name="scala.concurrent.Future" class="extype">Future</span>[<span name="scala.Predef.Set" class="extype">Set</span>[<a href="Equation.html" name="provingground.learning.Equation" id="provingground.learning.Equation" class="extype">Equation</a>]]</span></span></li><li class="indented0 " name="provingground.learning.EquationOps#groupIt" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="groupIt(ts: