1 | initial version |
It is obvious that $x \leq 0$ if and only if it is not the case that $x<0$. So, we can write
not(x.is_negative())
2 | No.2 Revision |
It is obvious that $x \leq \geq 0$ if and only if it is not the case that $x<0$. So, we can write
not(x.is_negative())