ground.learning.ExpressionEquationSolver.FixedExpressionProbs" class="extype">FixedExpressionProbs</a></span></span><div class="fullcomment"><dl class="attributes block"><dt class="implicit">Implicit</dt><dd>This member is added by an implicit conversion from <a href="" name="provingground.learning.ExpressionEquationSolver.FixedExpressionProbs" id="provingground.learning.ExpressionEquationSolver.FixedExpressionProbs" class="extype">FixedExpressionProbs</a> to<span name="scala.Predef.Ensuring" class="extype"