(7steps total)
PrintForm
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
reps
wf
1
1
1
1.
u:
Type
2.
t:
Term
3.
t
u
4.
x:
u
5.
t
u
t
u
By:
BackThru Thm*
a:Term, A:Type. a
A
a
A
Generated subgoals:
None
About:
(7steps total)
PrintForm
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
u
u
t u
a:Term, A:Type. a A 
a A
