Greater

Greater(x, y)

x > y

yields True if x is known to be greater than y.

lhs > rhs

represents the inequality lhs > rhs.

Examples

>> Pi>0
True

>> {Greater(), Greater(x), Greater(1)}
{True, True, True}

Implementation status

• ✅ - full supported

Github

• Implementation of Greater