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

At: s wf 1
1. t: Term
s(t) Term
By: Unfold `s` 0
Generated subgoals:

None

About:
member

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