Yacas' Solve(eq, x) can return e.g.
x == expr and {x == expr1, x == expr2, ...}.
Some usages are easier if the initial x == part is removed.
This is the purpose of this function.
stripvar(expr, var)Expression where x == expr should be replaced to expr
Name of variable, e.g. x
Expression with left-hand side removed