NonPositive

NonPositive(x)

returns True if x is a negative real number or zero.

Examples

>> {Negative(0), NonPositive(0)}
{False,True}

Implementation status

• ✅ - full supported

Github

• Implementation of NonPositive