Hi Philippe,
There isn't any way to do this properly right now.
We can't use inequalities like `x < X` but we can say that X = x+delta
where delta is positive:
```
In [3]: x, X = symbols('x X', real=True)
In [4]: e = Min(x, X)
In [5]: e
Out[5]: Min(X, x)
In [6]: delta = Symbol('delta', positive=True)
In [7]: e.subs(X, x+delta)
Out[7]: x
```
There is also the direct approach:
```
In [8]: e.subs(Min(x, X), x)
Out[8]: x
```
--
Oscar
> --
> You received this message because you are subscribed to the Google Groups "sympy" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
sympy+un...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/bdf779d5-e435-4985-bd76-7155914e1c6d%40googlegroups.com.