Hi there Now I know how to prove it: using z_R_<=_conv.
Thanks anyway, Artur 2009/3/25 Artur Oliveira Gomes <artur.o.go...@gmail.com> > Hi there, > > How could I prove that given two real numbers, 20 and 30, that 20 <=40? > Moreover, given three real numbers, 20, 30 and 40, > how could I prove that 30 <in> 20..40. > > Regards, > > -- > Artur Oliveira Gomes > -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
