PrintForm Definitions exponent Sections AutomataTheory Doc

At: auto2 lemma 0 1 1 1 2
1. T: Type
2. P: TProp
3. x:T. Dec(P(x))
4. (x:T. P(x))

(x:T. P(x)) (x:T. P(x))
By: Sel 1 (Analyze 0)
Generated subgoal:

1 x:T. P(x)

About:
orallapplyuniversefunctionpropexists