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