(7steps total) PrintForm Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: qup up repst 1 1 1 1
1. t: Term
t Term
By: BackThru Thm* x:Term. x Term
Generated subgoals:

None

About:
all

(7steps total) PrintForm Lemmas ElisTarskiPf A Sections NuprlLIB Doc