(11steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
rem
addition
i,j:
, n:
. (((i rem n)+(j rem n)) rem n) = ((i+j) rem n)
By:
UnivCD
Generated subgoal:
1
1.
i:
2.
j:
3.
n:
(((i rem n)+(j rem n)) rem n) = ((i+j) rem n)
About:
(11steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
(((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)
