I would like to compare variables
u and print either
No depending one which is larger.
My code is simply the following:
Assuming[t < u, If[t - u < 0, Print[Yes], Print[No]]]
t < u is assumed,
t - u < 0 holds. So I should get
Yes. But what I get is a repetition of
If term. That is,
If[t - u < 0, Print[Yes], Print[No]]
Am I missing something?