PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
2
Surj(
2;
;
n.if n=
0
true
else false
fi)
By:
Unfold `surject` 0
Generated subgoal:
1
b:
.
a:
2. (
n.if n=
0
true
else false
fi)(a) = b
About:
b:
. 
a:
2. (
n.if n=
0
true else false fi)(a) = b Surj(2; ; n.if n=0 true else false fi) b:. a:2. (n.if n=0 true else false fi)(a) = b
