(4steps total)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
rem
addition
i
,
j
:
,
n
:
. (((
i
rem
n
)+(
j
rem
n
)) rem
n
) = ((
i
+
j
) rem
n
)
By:
Auto
Generated subgoal:
1
1.
i
:
2.
j
:
3.
n
:
(((
i
rem
n
)+(
j
rem
n
)) rem
n
) = ((
i
+
j
) rem
n
)
3
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(4steps total)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
i,j:
, n:
. (((i rem n)+(j rem n)) rem n) = ((i+j) rem n) i,j:, n:. (((i rem n)+(j rem n)) rem n) = ((i+j) rem n)
(((i rem n)+(j rem n)) rem n) = ((i+j) rem n)
