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