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

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

None

About:
member

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