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

At: RespectsNot wf 1
1. Tr: TermProp
2. L: TermProp
RespectsNot(Tr; L) Prop
By: Unfold `RespectsNot` 0
Generated subgoals:

None

About:
functionmemberprop

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