PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
auto2
lemma
6
T:Type, R:(T
Prop). Fin(T) & (
t:T. Dec(R(t)))
Dec(
t:T. R(t))
By:
GenUnivCD
Generated subgoal:
1
1.
T:
Type
2.
R:
T
Prop
3.
Fin(T) & (
t:T. Dec(R(t)))
Dec(
t:T. R(t))
About:
Prop
t:T. Dec(R(t)))
Dec(
t:T. R(t)) T:Type, R:(TProp). Fin(T) & (t:T. Dec(R(t))) 
Dec(t:T. R(t))Propt:T. Dec(R(t))) Dec(t:T. R(t))
