Nuprl - Proof: up term closed

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

At: up term closed

t:Term. closed(t)

By: GenUnivCD

Generated subgoal:

1 1. t: Term
closed(t) 2 steps

About:

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