PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
Bij(
2;
;
n.if n=
0
true
else false
fi)
By:
Analyze 0
Generated subgoals:
1
Inj(
2;
;
n.if n=
0
true
else false
fi)
2
Surj(
2;
;
n.if n=
0
true
else false
fi)
About:
Inj(
2; 
; 
n.if n=
0
true else false fi) Surj(2; ; n.if n=0 true else false fi) Bij(2; ; n.if n=0 true else false fi) Inj(2; ; n.if n=0 true else false fi) Surj(2; ; n.if n=0 true else false fi)
