PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
2
1
1
1
1.
b:
2.
b = true
a:
2. (
n.if n=
0
true
else false
fi)(a) = b
By:
Witness 0
Generated subgoals:
1
(
n.if n=
0
true
else false
fi)(0) = b
2
3.
a:
2
(
n.if n=
0
true
else false
fi)(a)
About:
(
n.if n=
0
true else false fi)(0) = b
2 (n.if n=0 true else false fi)(a) 
a:2. (n.if n=0 true else false fi)(a) = b (n.if n=0 true else false fi)(0) = b2 (n.if n=0 true else false fi)(a) 
