ground.learning.ExpressionEquationSolver" class="extype">ExpressionEquationSolver</a> with <a href="LocalProver.html" name="provingground.learning.LocalProver" id="provingground.learning.LocalProver" class="extype">LocalProver</a> &lt;: <a href="../../scala/index.html#AnyRef=Object" name="scala.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a>, <a href="HoTTPostWeb.html" name="provingground.learning.HoTTPostWeb" id="provingground.learning.HoTTPostWeb" class="extype">HoTTPostWeb</a>, (<span name="scala.Int