PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
auto2
lemma
1
1
1
2
3
1
1
1
1
1
1.
T:
Type
2.
P:
T
Prop
3.
Q:
T
Prop
4.
g:
{t:T| Q(t) }
{t:T| P(t) }
5.
x:
T
6.
P(x)
7.
P(x)
Q(x)
Q(x)
By:
Analyze 7
THEN
Analyze 7
Generated subgoals:
None
About:
PropProp{t:T| P(t) }
Q(x)
Q(x)
