PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
1.
n:
f:((
0
n)
(n
0)). Bij(
0
n;
(n
0); f)
By:
Witness
z.0
Generated subgoals:
1
2.
z:
0
n
0 < (n
0)
2
Bij(
0
n;
(n
0);
z.0)
About:
0
n
0 < (n
0) Bij(0n; (n0); 
z.0) 
f:((0n)(n0)). Bij(0n; (n0); f)z.00n 0 < (n0) Bij(0n; (n0); z.0)
