(13steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
mod
bounds
1
1.
a:
2.
n:
0
(a mod n)
By:
Inst
Thm*
a:
, n:
. (a mod n)
[a;n]
Generated subgoal:
1
3.
(a mod n)
0
(a mod n)
About:
(13steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
0
(a mod n)
0(a mod n)
a:, n:. (a mod n)
[a;n] 0(a mod n)
