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