Truefalse

799 days ago by jozefl

assume(x>0) 
        
[x>0]
[x>0]
is(x^3<0) 
        
false
false