PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
2
1
1
1
2
1.
n:
2.
m:
3.
b:
(n
m)
(b
m) < n
By:
Analyze 3
Generated subgoal:
1
3.
b:
4.
0
b < n
m
(b
m) < n
About:
b < n
m
(b 
m) < n
(nm) (b m) < n b < nm (b m) < n
