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