PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
auto2
lemma
0
1
1
1
2
1
1
1
1
2
1
1.
T:
Type
2.
P:
T
Prop
3.
x:
T
4.
P(x)
x:T.
P(x)
By:
Witness x
Generated subgoals:
None
About:
Prop
P(x)
x:T. P(x)
