PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
decid
is
comp
1
1
1
1
2
1
1.
T:
Type
2.
f:
T
Prop
3.
x:
T
4.
f(x)
5.
false
f(x)
By:
Reduce 5
Generated subgoals:
None
About:
Prop
f(x)
f(x)
