tion.immutable.Set[provingground.learning.EquationNode]]"></a><a id="unAppEquations(FiniteDistribution[ExstFunc],FiniteDistribution[Term],Double):Future[Set[EquationNode]]"></a> <span class="permalink"><a href="../../provingground/learning/SimpleEquations$.html#unAppEquations(funcs:provingground.FiniteDistribution[provingground.HoTT.ExstFunc],args:provingground.FiniteDistribution[provingground.HoTT.Term],cutoff:Double):scala.concurrent.Future[scala.collection.immutable.Set[provingground.learning.EquationNod