PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1.
n:
2.
m:
3.
a3:
4.
0
a3 < n
5.
a4:
6.
0
a4 < m
7.
a5:
8.
0
a5 < n
9.
a6:
10.
0
a6 < m
11.
a3
m+a4 = a5
m+a6
(n
m)
Div(a3
m+a4;m;a5)
By:
Unfold `div_nrel` 0
Generated subgoals:
None
About:
a3 < n a4 < m a5 < n a6 < m
m+a4 = a5m+a6 
(nm)
Div(a3m+a4;m;a5)
