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

At: ReflectsProp wf 1
1. P: TermProp
2. qP: Term
3. L: TermProp
ReflectsProp(P; qP; L) Prop
By:
Unfold `ReflectsProp` 0
THEN
Unfold `guard` 0
Generated subgoals:

None

About:
functionmemberprop

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