Nuprl Basics - Proof: sfa doc int sub int mod 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc int sub int mod 1

1. k :

(

mod k)

By:

Analyze

Generated subgoal:

1 2. x :
x mod k
2 steps

About:

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