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

At: term closed wf 1
1. t: Term
closed(t) Prop
By: Unfold `term_closed` 0
Generated subgoals:

None

About:
memberprop

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