PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
not
dec
is
dec
1
1
2
1
1
1
1.
A:
Type
2.
P:
A
Prop
3.
x:A. P(x)
P(x)
4.
(
x:A.
P(x))
5.
x:
A
6.
P(x)
P(x)
P(x)
By:
Analyze 6
Generated subgoals:
1
6.
P(x)
P(x)
2
6.
P(x)
P(x)
About:
P(x)
P(x) P(x)
Prop
x:A. P(x) 
P(x)(
x:A. P(x)) P(x) P(x) P(x)P(x) P(x)
