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

At: up term closed

t:Term. closed(t)

By: GenUnivCD

Generated subgoal:

11. t: Term
closed(t)
2 steps

About:
all

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