Nuprl - Proof: heven odd

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: heven odd

all(

n:hnum. equal(even(n),not(odd(n))))

By:	HOL "heven_odd"

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html