(13steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
mod
bounds
a:
, n:
. 0
(a mod n) & (a mod n) < n
By:
GenUnivCD
Generated subgoals:
1
1.
a:
2.
n:
0
(a mod n)
2
1.
a:
2.
n:
(a mod n) < n
About:
(13steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
0
(a mod n) (a mod n) < n 
a:, n:. 0(a mod n) & (a mod n) < n 0(a mod n) (a mod n) < n
