PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
1
1
1.
n:
2.
m:
3.
z1:
n
4.
z2:
m
0
1of( < z1,z2 > )
m+2of( < z1,z2 > )
By:
Analyze 3
Generated subgoal:
1
3.
z1:
4.
0
z1 < n
5.
z2:
m
0
1of( < z1,z2 > )
m+2of( < z1,z2 > )
About:
z1 < n
m
01of( < z1,z2 > )
m+2of( < z1,z2 > )
nm 01of( < z1,z2 > )m+2of( < z1,z2 > ) z1 < nm 01of( < z1,z2 > )m+2of( < z1,z2 > )
