comparison with infinity does not take assumptions into account

[sagetrac-tmonteil]

As reported on this ask question :

sage: assume(x < 1)
sage: bool(x < 10)
True
sage: bool(x < oo)
False

CC: @rwst

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/29938

[mkoeppe]

comment:3

Moving to 9.4, as 9.3 has been released.