LessEqual.md

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