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

At: subx wf 1
1. t: Term
2. r: Term
SUBX(t; r) Term
By: Unfold `subx` 0
Generated subgoals:

None

About:
member

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