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

At: subx wf 1
1. t: Term
2. r: Term
t/r Term
By: Unfold `subx` 0
Generated subgoals:

None

About:
member

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