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