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

At: RepsTruth wf 1
1. Tr: TermProp
2. tr: Term
3. L: TermProp
RepsTruth(L; Tr; tr) Prop
By: Unfold `RepsTruth` 0
Generated subgoals:

None

About:
functionmemberprop

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