(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: f or wf 1 1
1. p: Formula
2. q: Formula

inr(inr(inr(inl( < p,q > )))) Formula
By: RecMemberFormulaCD
Generated subgoals:

None

About:
pairinlinrmember

(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc