GreaterEqual(x, y)
x >= y
yields
Trueifxis known to be greater than or equal toy.
lhs >= rhs
represents the inequality
lhs >= rhs.
>> x>=x
True
>> {GreaterEqual(), GreaterEqual(x), GreaterEqual(1)}
{True, True, True}
- ✅ - full supported
GreaterEqual(x, y)
x >= y
yields
Trueifxis known to be greater than or equal toy.
lhs >= rhs
represents the inequality
lhs >= rhs.
>> x>=x
True
>> {GreaterEqual(), GreaterEqual(x), GreaterEqual(1)}
{True, True, True}