Nuprl Basics - Proof: sfa doc sample intmod wf 1 3 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc sample intmod wf 1 3 1 1

1. k :

2. a :

3. b :

4. c :

5. m :

6. a-b = m

k
7. m1 :

8. b-c = m1

. a-c = m

By:	Witness: m+m1

Generated subgoals:

None

About:

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