PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
2
1
1.
n:
2.
m:
3.
z1:
n
4.
z2:
m
z1
m+z2 < n
m
By:
Analyze 3
THEN
Analyze 5
Generated subgoal:
1
3.
z1:
4.
0
z1 < n
5.
z2:
6.
0
z2 < m
z1
m+z2 < n
m
About:
z1 < n z2 < m
z1
m+z2 < nm
nm z1m+z2 < nm z1 < n z2 < m z1m+z2 < nm
