(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
div
floor
mod
unique
1
1
2
2
1.
a:
2.
n:
3.
q:
4.
r:
5.
a = q
n+r
6.
r < n
7.
q':
8.
r':
9.
a = q'
n+r'
10.
(q-q')
n = r'-r
11.
q = q'
r' < n
q = q' & r = r'
By:
Assert (|n|
|r'-r|)
Generated subgoals:
1
|n|
|r'-r|
7
steps
 
2
12.
|n|
|r'-r|
r' < n
q = q' & r = r'
1
step
About:
(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc