Nuprl - Proof: prime mset complete ismin 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: prime mset complete ismin 1 1

1. f : Prime

2. x :

prime(x)

if is_prime(x)

f(x) else 0 fi = 0

By:	SplitOnConclITE

Generated subgoals:

None

About:

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