(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
div
floor
mod
unique
1
1
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
r' < n
q = q' & r = r'
By:
Decide (q = q')
Generated subgoals:
1
11.
q = q'
r' < n
q = q' & r = r'
2
steps
 
2
11.
q = q'
r' < n
q = q' & r = r'
9
steps
About:
(16steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc