Nuprl - Proof: qup up repst 1 1 1

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

At: qup up repst 1 1 1

1. t: Term

UP(t) Term

By: BackThru Thm* t:Term. t Term UP(t) Term

Generated subgoal:

1 t Term 1 step

About:

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