ElisTarskiPf
B
Sections
NuprlLIB
Doc
Def
A Term == {t:Term| t IN A }
is mentioned by
Thm*
t:(u Term), x:u. (t reps x
u)
Prop
[reps_wf]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t:(u Term), x:u. (t reps x 
u) Propt:(u Term), x:u. (t reps x u) Prop