Nuprl - Proof: up term closed 1

(3steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: up term closed 1

1. t: Term

closed(t)

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

Generated subgoal:

1 t (Term Term) Auto

About:

(3steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc