ation.html" name="provingground.learning.Equation" id="provingground.learning.Equation" class="extype">Equation</a>]</span></span></li><li class="indented0 " name="provingground.learning.EquationOps#groupDirect" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="groupDirect(ts:Set[provingground.learning.EquationNode]):Set[provingground.learning.Equation]"></a><a id="groupDirect(Set[EquationNode]):Set[Equation]"></a> <span class="permalink"><a href="../../provingground/learning/Equation