LessEqual

LessEqual(x, y)

x <= y

yields True if x is known to be less than or equal y.

lhs <= rhs

represents the inequality lhs ≤ rhs.

Examples

>> 3<=4
True

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

Implementation status

• ✅ - full supported

Github

• Implementation of LessEqual