(11steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
rem
addition
1
1
1
1
3
1.
i:
2.
j:
3.
n:
(((i rem n)+(j rem n)) rem n) = (((i rem n)+(j rem n)) rem n)
By:
Auto
Generated subgoals:
None
About:
(11steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
(((i rem n)+(j rem n)) rem n) = (((i rem n)+(j rem n)) rem n)