PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
2
1
1.
n:
Inj(
0
n;
(n
0);
z.0) & Surj(
0
n;
(n
0);
z.0)
By:
Analyze 0
Generated subgoals:
1
Inj(
0
n;
(n
0);
z.0)
2
Surj(
0
n;
(n
0);
z.0)
About:
Inj(
0
n; (n
0); 
z.0) Surj(0n; (n0); z.0) Inj(0n; (n0); z.0) & Surj(0n; (n0); z.0) Inj(0n; (n0); z.0) Surj(0n; (n0); z.0)
