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

At: up term closed 1
1. t: Term
closed(t)
By: BackThru Thm* t:(Term Term). closed(t)
Generated subgoal:

1 q(t) (Term Term)Auto

About:
memberall

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