ble</span></span>)</span><span class="result">: <span name="scala.collection.immutable.Vector" class="extype">Vector</span>[<a href="EquationNode.html" name="provingground.learning.EquationNode" id="provingground.learning.EquationNode" class="extype">EquationNode</a>]</span></span></li><li class="indented0 " name="provingground.learning.SimpleEquations#appEquation" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="appEquation(fn:provingground.HoTT.ExstFunc,arg:provingground.HoTT.Term)