bs="false" visbl="pub"><a id="cutoffAppPairs(funcs:provingground.FiniteDistribution[provingground.HoTT.ExstFunc],args:provingground.FiniteDistribution[provingground.HoTT.Term],cutoff:Double):Vector[(provingground.HoTT.ExstFunc,provingground.HoTT.Term)]"></a><a id="cutoffAppPairs(FiniteDistribution[ExstFunc],FiniteDistribution[Term],Double):Vector[(ExstFunc,Term)]"></a> <span class="permalink"><a href="../../provingground/learning/SimpleEquations$.html#cutoffAppPairs(funcs:provingground.FiniteDistribution[pr