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