PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
decid
is
comp
1
1
1
1
1.
T:
Type
2.
f:
T
Prop
3.
x:
T
4.
Dec(f(x))
y:
. f(x)
y
By:
Analyze 4
Generated subgoals:
1
4.
f(x)
y:
. f(x)
y
2
4.
f(x)
y:
. f(x)
y
About:
y:
. f(x) 
y
f(x) y:. f(x) y
Prop y:. f(x) y y:. f(x) yf(x) y:. f(x) y
