PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
1.
n:
2.
m:
f:(
n
m
(n
m)). Bij(
n
m;
(n
m); f)
By:
Witness
z.1of(z)
m+2of(z)
Generated subgoals:
1
3.
z:
n
m
0
1of(z)
m+2of(z)
2
3.
z:
n
m
1of(z)
m+2of(z) < n
m
3
Bij(
n
m;
(n
m);
z.1of(z)
m+2of(z))
About: