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

At: fand wf 1
1. p: Formula
2. q: Formula

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

None

About:
pairinlinrmember

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